summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOlivier Gayot <olivier.gayot@sigexec.com>2020-10-13 23:33:14 +0200
committerOlivier Gayot <olivier.gayot@sigexec.com>2020-10-14 00:10:08 +0200
commitc3065eeb2b8ae2a358a03f05ace98ed85a89caa7 (patch)
tree8e304c897a009b41e6467f5fd602232298df5518
parent5442b8aa3ff8b997403019363d7dbba10f4caa7f (diff)
Check if gdb returned with status 0
Signed-off-by: Olivier Gayot <olivier.gayot@sigexec.com>
-rw-r--r--solter.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/solter.py b/solter.py
index c7a22dd..c224ae6 100644
--- a/solter.py
+++ b/solter.py
@@ -76,7 +76,7 @@ def main(args):
logging.debug("Executing: %s", pprint.pformat(cmd))
- subprocess.run(cmd)
+ subprocess.run(cmd, check=True)
if __name__ == "__main__":