# HG changeset patch # User Christian Ebert # Date 1310629188 -3600 # Node ID 9c15f5c37707b54c6782db53e078a4582d4bc011 # Parent 82015736cc7eeead37ad50c96561ff7369719f6c# Parent 98fa0fa48b7d67f8023d8de39bc54d4a7b50b97e Merge with stable diff -r 82015736cc7e -r 9c15f5c37707 tests/run-tests.py --- 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))