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