--- a/tests/run-tests.py Thu Jan 19 16:05:01 2012 -0600
+++ 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):