diff options
| -rwxr-xr-x | bench.py | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -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()) |