summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rwxr-xr-xtests/run-tests5
1 files changed, 4 insertions, 1 deletions
diff --git a/tests/run-tests b/tests/run-tests
index e8dc2ba580..43db15097e 100755
--- a/tests/run-tests
+++ b/tests/run-tests
@@ -456,7 +456,10 @@ def main():
# clear search path to make sure tests use only builtin modules
os.environ['MICROPYPATH'] = ''
- if not run_tests(pyb, tests, args):
+ res = run_tests(pyb, tests, args)
+ if pyb:
+ pyb.close()
+ if not res:
sys.exit(1)
if __name__ == "__main__":