diff options
-rwxr-xr-x | runtests.py | 4 |
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') |