diff -r 004f1f2dc06e -r 98fa0fa48b7d tests/run-tests.py --- 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))