Searched refs:timecmd (Results 1 - 1 of 1) sorted by relevance
/external/valgrind/perf/ | ||
H A D | vg_perf.in | 283 my $timecmd = "/usr/bin/time -p"; 287 my $cmd = "$timecmd $prog $args"; 366 my $cmd = "$vgsetup $timecmd $vgcmd $prog $args"; |
Completed in 192 milliseconds