Commit ec318a24 authored by Ben Gamari's avatar Ben Gamari 🐢

ghc_perf: Fix SIGINT detection

parent 46fa5221
......@@ -118,7 +118,7 @@ def run(name: str,
errcode = p.wait()
if errcode == 2:
if errcode == -2:
print(f'"{" ".join(cmd)}" was interrupted.')
elif errcode != 0:
print(f'"{" ".join(cmd)}" failed with exit code {errcode}')
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment