tests/run-tests.py
changeset 976 9c15f5c37707
parent 975 98fa0fa48b7d
child 977 a50ed14997fc
--- a/tests/run-tests.py	Sun Jul 03 12:58:03 2011 +0200
+++ b/tests/run-tests.py	Thu Jul 14 08:39:48 2011 +0100
@@ -726,6 +726,7 @@
                     rename(testpath + ".err", testpath)
                 else:
                     rename(testpath + ".err", testpath + ".out")
+                result('p', test)
                 return
         result('f', (test, msg))