From 0707aa645e243e4f87c98c586fff343b77766265 Mon Sep 17 00:00:00 2001 From: Florian Fischer Date: Wed, 7 Apr 2021 19:15:21 +0200 Subject: [bench] exit with status 1 on failure --- bench.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/bench.py b/bench.py index 38003c6..ad8b379 100755 --- a/bench.py +++ b/bench.py @@ -163,10 +163,12 @@ def main(): cwd = os.getcwd() + exit_code = 0 # warn about unknown benchmarks for bench in (args.benchmarks or []) + (args.exclude_benchmarks or []): if bench not in AVAIL_BENCHMARKS: logger.error('Benchmark "%s" unknown!', bench) + exit_code = 1 # Run actual benchmarks for bench in AVAIL_BENCHMARKS: @@ -182,6 +184,7 @@ def main(): except Exception: #pylint: disable=broad-except logger.error(traceback.format_exc()) logger.error("Skipping %s! Loading failed.", bench) + exit_code = 1 continue try: @@ -190,6 +193,7 @@ def main(): except Exception: #pylint: disable=broad-except logger.error(traceback.format_exc()) logger.error("Skipping %s! Preparing failed.", bench) + exit_code = 1 continue if args.analyze: @@ -209,6 +213,7 @@ def main(): os.chdir(cwd) logger.error(traceback.format_exc()) logger.error("Skipping %s!", bench) + exit_code = 1 continue end_time = datetime.datetime.now() @@ -226,6 +231,8 @@ def main(): if args.summarize: summarize() + return exit_code + if __name__ == "__main__": - main() + sys.exit(main()) -- cgit v1.2.3