1 files changed, 2 insertions, 1 deletions
diff --git a/test/RegressTests.py b/test/RegressTests.py
index a7d51ada..792c2d3e 100755
--- a/test/RegressTests.py
+++ b/test/RegressTests.py
@@ -184,7 +184,8 @@ if __name__ == '__main__':
         tests = [os.path.join(tests, x)
                  for x in os.listdir(tests) 
                  if (x.endswith('.test') and 
-                     (not '_py.test' in x or harness.python))]
+                     (not '_py.test' in x or (harness.python and
+                                              not harness.verify)))]
         if pool:
             pool.map(do_test, tests, 1)
         else: