diff options
| author | Nathan Stocks <nathan.stocks@gmail.com> | 2017-03-30 22:12:01 -0600 |
|---|---|---|
| committer | Nathan Stocks <nathan.stocks@gmail.com> | 2017-03-30 22:12:01 -0600 |
| commit | e1c1e09867e489a41170e726fe64281caaca087a (patch) | |
| tree | 434f521d428c00867f80ed1878bffd4c601cf74c /src/bootstrap/bootstrap.py | |
| parent | 8ad5c95e521f90897a6bd611956d476fcc51c042 (diff) | |
| download | rust-e1c1e09867e489a41170e726fe64281caaca087a.tar.gz rust-e1c1e09867e489a41170e726fe64281caaca087a.zip | |
Don't print build statistics if we explicitly asked for the help message.
Diffstat (limited to 'src/bootstrap/bootstrap.py')
| -rw-r--r-- | src/bootstrap/bootstrap.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/bootstrap/bootstrap.py b/src/bootstrap/bootstrap.py index d5bc6127a1e..73f3b1d1ceb 100644 --- a/src/bootstrap/bootstrap.py +++ b/src/bootstrap/bootstrap.py @@ -593,14 +593,16 @@ def main(): start_time = time() try: bootstrap() - print("Build completed successfully in %s" % format_build_time(time() - start_time)) + if ('-h' not in sys.argv) and ('--help' not in sys.argv): + print("Build completed successfully in %s" % format_build_time(time() - start_time)) except (SystemExit, KeyboardInterrupt) as e: if hasattr(e, 'code') and isinstance(e.code, int): exit_code = e.code else: exit_code = 1 print(e) - print("Build completed unsuccessfully in %s" % format_build_time(time() - start_time)) + if ('-h' not in sys.argv) and ('--help' not in sys.argv): + print("Build completed unsuccessfully in %s" % format_build_time(time() - start_time)) sys.exit(exit_code) if __name__ == '__main__': |
