tests/run-tests.py
changeset 20793 60c175c1e708
parent 20680 d3d3e94e2910
child 20821 3d1d16b19e7d
--- a/tests/run-tests.py	Fri Feb 28 02:26:03 2014 +0100
+++ b/tests/run-tests.py	Wed Mar 19 00:19:54 2014 +0100
@@ -1180,12 +1180,12 @@
 
     checktools()
 
-    if len(args) == 0:
-        args = [t for t in os.listdir(".")
-                if t.startswith("test-")
-                and (t.endswith(".py") or t.endswith(".t"))]
+    if not args:
+        args = os.listdir(".")
 
-    tests = args
+    tests = [t for t in args
+             if t.startswith("test-")
+             and (t.endswith(".py") or t.endswith(".t"))]
 
     if options.random:
         random.shuffle(tests)