Home	Sort by relevance Sort by last modified time

Full Search Definition Symbol File Path History   | | Help

    Searched refs:timecmd (Results 1 - 2 of 2) sorted by null

/external/valgrind/main/perf/
vg_perf	252 my $timecmd = "/usr/bin/time -p"; 256 my $cmd = "$timecmd $prog $args"; 289 my $cmd = "$vgsetup $timecmd $vgcmd $prog $args";
vg_perf.in	252 my $timecmd = "/usr/bin/time -p"; 256 my $cmd = "$timecmd $prog $args"; 289 my $cmd = "$vgsetup $timecmd $vgcmd $prog $args";

Completed in 996 milliseconds