enabling --leak-check was bad idea, since there are way too much false positives...

diff --git a/run-tests.php b/run-tests.php
index 024e296147e753daba55e857529d46a06203ea02..4745f838607b9f85764e22eb09c13f9e4f7b0044 100755 (executable)
--- a/run-tests.php
+++ b/run-tests.php
@@ -1381,7 +1381,7 @@ TEST $file
        }
 
        if ($leak_check) {
-               $cmd = "USE_ZEND_ALLOC=0 valgrind -q --tool=memcheck --trace-children=yes --leak-check=yes --log-file-exactly=$memcheck_filename $cmd";
+               $cmd = "USE_ZEND_ALLOC=0 valgrind -q --tool=memcheck --trace-children=yes --log-file-exactly=$memcheck_filename $cmd";
        }
 
        if ($DETAILED) echo "