tests/run-tests.py
changeset 14867 b601b9eb372d
parent 14822 760d2dae4839
child 14971 0b21ae0a2366
--- a/tests/run-tests.py	Tue Jul 12 16:36:34 2011 -0500
+++ 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))