diff -r 93ced643068d -r 23c6e5d22e79 tests/run-tests.py --- a/tests/run-tests.py Thu Jan 19 02:01:05 2012 +0100 +++ b/tests/run-tests.py Sat Jan 14 01:55:50 2012 +0100 @@ -598,6 +598,8 @@ f.close() script = [] + if options.debug: + script.append('set -x\n') if os.getenv('MSYSTEM'): script.append('alias pwd="pwd -W"\n') for n, l in enumerate(t):