diff -r 89059c450c56 -r 60c175c1e708 tests/run-tests.py --- 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)