Home
last modified time | relevance | path

Searched refs:valgrind_header (Results 1 – 1 of 1) sorted by relevance

/PHP-7.0/
H A Drun-tests.php109 $valgrind_header = ''; variable
279 …_tests, $ini_overwrites, $pass_options, $exts_to_test, $leak_check, $valgrind_header, $no_file_cac…
346 VALGRIND : " . ($leak_check ? $valgrind_header : 'Not used') . "
617 $valgrind_header = system_with_timeout($valgrind_cmd, $environment); variable
619 if (!$valgrind_header) {
622 …place("/valgrind-(\d+)\.(\d+)\.(\d+)([.\w_-]+)?(\s+)/", '$1.$2.$3', $valgrind_header, 1, $replace_…
624 error("Valgrind returned invalid version info (\"$valgrind_header\"), cannot proceed.");
626 $valgrind_header = trim($valgrind_header); variable

Completed in 9 milliseconds