diff options
author | Olivier Gayot <olivier.gayot@sigexec.com> | 2020-10-13 23:33:14 +0200 |
---|---|---|
committer | Olivier Gayot <olivier.gayot@sigexec.com> | 2020-10-14 00:10:08 +0200 |
commit | c3065eeb2b8ae2a358a03f05ace98ed85a89caa7 (patch) | |
tree | 8e304c897a009b41e6467f5fd602232298df5518 | |
parent | 5442b8aa3ff8b997403019363d7dbba10f4caa7f (diff) |
Check if gdb returned with status 0
Signed-off-by: Olivier Gayot <olivier.gayot@sigexec.com>
-rw-r--r-- | solter.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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__": |