|
|
|
@ -572,7 +572,7 @@ if (isset($argc) && $argc > 1) { |
|
|
|
if (!$valgrind_header) { |
|
|
|
error("Valgrind returned no version info, cannot proceed.\nPlease check if Valgrind is installed."); |
|
|
|
} else { |
|
|
|
$valgrind_version = preg_replace("/valgrind-([0-9])\.([0-9])\.([0-9]+)([.-]\w+)?(\s+)/", '$1$2$3', $valgrind_header, 1, $replace_count); |
|
|
|
$valgrind_version = preg_replace("/valgrind-([0-9])\.([0-9])\.([0-9]+)([.-\w]+)?(\s+)/", '$1$2$3', $valgrind_header, 1, $replace_count); |
|
|
|
if ($replace_count != 1 || !is_numeric($valgrind_version)) { |
|
|
|
error("Valgrind returned invalid version info (\"$valgrind_header\"), cannot proceed.");
|
|
|
|
} |
|
|
|
|