summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xruntests.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/runtests.py b/runtests.py
index f4abd91d6..4c2439bd9 100755
--- a/runtests.py
+++ b/runtests.py
@@ -183,8 +183,8 @@ def main(argv):
if args.shell:
shell = os.environ.get('SHELL', 'sh')
print("Spawning a Unix shell...")
- os.execv(shell, [shell] + extra_argv)
- sys.exit(1)
+ subprocess.call([shell] + extra_argv)
+ sys.exit(0)
if args.coverage:
dst_dir = os.path.join(ROOT_DIR, 'build', 'coverage')