tests/run-tests.py
branchstable
changeset 975 98fa0fa48b7d
parent 971 87b7569d7404
child 977 a50ed14997fc
--- a/tests/run-tests.py	Thu Jul 07 12:54:12 2011 +0100
+++ b/tests/run-tests.py	Wed Jul 13 19:23:08 2011 +0200
@@ -726,6 +726,7 @@
                     rename(testpath + ".err", testpath)
                 else:
                     rename(testpath + ".err", testpath + ".out")
+                result('p', test)
                 return
         result('f', (test, msg))