tests/run-tests.py
changeset 1360 e7fa36b2bd23
parent 1358 805a5c2fe9c8
child 1361 1d3aa8779efb
--- a/tests/run-tests.py	Thu Mar 13 11:19:32 2014 +0000
+++ b/tests/run-tests.py	Thu Mar 20 01:02:04 2014 +0000
@@ -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)