diff -r d9c3f8002e7c -r e7fa36b2bd23 tests/run-tests.py --- 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)