diff options
| author | KaDiWa <kalle.wachsmuth@gmail.com> | 2023-02-08 19:19:23 +0100 |
|---|---|---|
| committer | KaDiWa <kalle.wachsmuth@gmail.com> | 2023-02-08 19:19:23 +0100 |
| commit | 62edacf738ca4bf9ad0e56874e460f00ca065103 (patch) | |
| tree | 466b024dcbccbc2ae88f4219a7503dd52f27b03b | |
| parent | a00e24d76a9ac03b146d3bf89e2161b2466c6551 (diff) | |
| download | rust-62edacf738ca4bf9ad0e56874e460f00ca065103.tar.gz rust-62edacf738ca4bf9ad0e56874e460f00ca065103.zip | |
bootstrap.py: fix build-failure message
| -rw-r--r-- | src/bootstrap/bootstrap.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/bootstrap/bootstrap.py b/src/bootstrap/bootstrap.py index 5b19a658fb5..0c896733a26 100644 --- a/src/bootstrap/bootstrap.py +++ b/src/bootstrap/bootstrap.py @@ -935,6 +935,7 @@ def main(): ) exit_code = 0 + success_word = "successfully" try: bootstrap(args) except (SystemExit, KeyboardInterrupt) as error: @@ -943,9 +944,10 @@ def main(): else: exit_code = 1 print(error) + success_word = "unsuccessfully" if not help_triggered: - print("Build completed successfully in", format_build_time(time() - start_time)) + print("Build completed", success_word, "in", format_build_time(time() - start_time)) sys.exit(exit_code) |