tests/run-tests.py
branchstable
changeset 1044 23c6e5d22e79
parent 1039 7c2190b236cf
child 1045 0a2285b90e22
--- 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):