# HG changeset patch # User Christian Ebert # Date 1352399743 0 # Node ID 337e1ceae82ebbc88e9e57de900b9a8eb7de18ba # Parent 2498fa07212f0f49df2f12c59b52ebfcb121a7b3# Parent 380eea1f5add6c3e37e886ebdb5dd83dcadd01b8 Merge with stable 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