--- 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))