Searched refs:valgrind_header (Results 1 – 1 of 1) sorted by relevance
| /PHP-5.3/ |
| H A D | run-tests.php | 109 $valgrind_header = ''; variable
247 …hp_info, $user_tests, $ini_overwrites, $pass_options, $exts_to_test, $leak_check, $valgrind_header;
306 VALGRIND : " . ($leak_check ? $valgrind_header : 'Not used') . "
574 $valgrind_header = system_with_timeout($valgrind_cmd, $environment); variable
576 if (!$valgrind_header) {
579 …e("/valgrind-([0-9])\.([0-9])\.([0-9]+)([.-\w]+)?(\s+)/", '$1$2$3', $valgrind_header, 1, $replace_…
581 error("Valgrind returned invalid version info (\"$valgrind_header\"), cannot proceed.");
583 $valgrind_header = trim($valgrind_header); variable
|
Completed in 9 milliseconds
