Lines Matching refs:valgrind
30 $valgrind = 0; # invoke make with valgrind
56 if ($option =~ /^-valgrind$/i) {
57 $valgrind = 1;
149 if ($valgrind) {
150 print VALGRIND "\n\nExecuting: $command\n";
328 # Set up for valgrind, if requested.
330 if ($valgrind) {
331 open(VALGRIND, "> valgrind.out")
332 || die "Cannot open valgrind.out: $!\n";
335 $make_path = "valgrind --log-fd=".fileno(VALGRIND)." $valgrind_args $make_path";
337 fcntl(VALGRIND, 2, 0) or die "fcntl(setfd) failed: $!\n";
338 system("echo Starting on `date` 1>&".fileno(VALGRIND));
339 print "Enabled valgrind support.\n";
