diff options
| -rwxr-xr-x | tools/perf/benchmarks | 1 |
1 files changed, 1 insertions, 0 deletions
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__": |