diff --git a/tools/perf/benchmarks b/tools/perf/benchmarks index e188858a25..05adbe579a 100755 --- a/tools/perf/benchmarks +++ b/tools/perf/benchmarks @@ -704,6 +704,7 @@ def main(argv): runner.Run() except FatalError: sys.stderr.write(f"FAILED\n") + sys.exit(1) if __name__ == "__main__":