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)