diff -r 2498fa07212f -r 337e1ceae82e tests/run-tests.py --- a/tests/run-tests.py Sun Oct 21 16:10:25 2012 +0100 +++ b/tests/run-tests.py Thu Nov 08 18:35:43 2012 +0000 @@ -1170,9 +1170,9 @@ checktools() - if len(args) == 0: - args = os.listdir(".") - args.sort() + if len(args) == 0: + args = os.listdir(".") + args.sort() tests = args