diff options
| author | 2024-01-16 21:35:42 +0000 | |
|---|---|---|
| committer | 2024-01-16 21:35:42 +0000 | |
| commit | 5afa685f814514a06594a34706d0b51012c709a1 (patch) | |
| tree | b1a9e6eae315c80e236a9421edba557607e4ab9e | |
| parent | 27cf1a5cd2313fe947fdd06f5bf7f91fa1a970a1 (diff) | |
| parent | c6576ad3071be572c6a679057c6cd8bbc67dc27f (diff) | |
Merge "Properly report failures in the CUJ scripts" into main
| -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__": |