diff options
| author | Stuart Cook <Zalathar@users.noreply.github.com> | 2025-05-09 16:25:05 +1000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-09 16:25:05 +1000 |
| commit | e3873f51a13c184193326606fe8b44092d576640 (patch) | |
| tree | 8def32c85c4e4d1233e86384f68033c53cf9c346 | |
| parent | c922eb9a9d477c2e1747387746a5d6941beb89f0 (diff) | |
| parent | 0326a2c3158bd1905bf82861a6be26b2d106e9f3 (diff) | |
| download | rust-e3873f51a13c184193326606fe8b44092d576640.tar.gz rust-e3873f51a13c184193326606fe8b44092d576640.zip | |
Rollup merge of #140817 - RalfJung:bootstrap-msg, r=jieyouxu
bootstrap: more consistent use of `...` when citing configuration snippets
| -rw-r--r-- | src/bootstrap/src/bin/main.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bootstrap/src/bin/main.rs b/src/bootstrap/src/bin/main.rs index cbfe00a757c..833f8027951 100644 --- a/src/bootstrap/src/bin/main.rs +++ b/src/bootstrap/src/bin/main.rs @@ -163,7 +163,7 @@ fn check_version(config: &Config) -> Option<String> { msg.push_str("WARNING: The `change-id` is missing in the `bootstrap.toml`. This means that you will not be able to track the major changes made to the bootstrap configurations.\n"); msg.push_str("NOTE: to silence this warning, "); msg.push_str(&format!( - "add `change-id = {latest_change_id}` or change-id = \"ignore\" at the top of `bootstrap.toml`" + "add `change-id = {latest_change_id}` or `change-id = \"ignore\"` at the top of `bootstrap.toml`" )); return Some(msg); } @@ -195,7 +195,7 @@ fn check_version(config: &Config) -> Option<String> { msg.push_str("NOTE: to silence this warning, "); msg.push_str(&format!( - "update `bootstrap.toml` to use `change-id = {latest_change_id}` or change-id = \"ignore\" instead" + "update `bootstrap.toml` to use `change-id = {latest_change_id}` or `change-id = \"ignore\"` instead" )); if io::stdout().is_terminal() { |