merge finished

1 files changed, 2 insertions, 2 deletions

diff --git a/tests/run-tests b/tests/run-tests
index 3064f6845..94e1591e8 100755
--- a/tests/run-tests
+++ b/tests/run-tests
@@ -396,7 +396,7 @@ def run_tests(pyb, tests, args, base_path=".", num_threads=1):
                 if pat.search(test_file):
                     verdict = action
             if verdict == "exclude":
-                continue
+                return
 
         test_basename = os.path.basename(test_file)
         test_name = os.path.splitext(test_basename)[0]
@@ -419,7 +419,7 @@ def run_tests(pyb, tests, args, base_path=".", num_threads=1):
         if args.list_tests:
             if not skip_it:
                 print(test_file)
-            continue
+            return
 
         if skip_it:
             print("skip ", test_file)