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/perf/
vg_perf	285 my $timecmd = "/usr/bin/time -p"; 289 my $cmd = "$timecmd $prog $args"; 372 my $cmd = "$vgsetup $timecmd $vgcmd $prog $args";
vg_perf.in	285 my $timecmd = "/usr/bin/time -p"; 289 my $cmd = "$timecmd $prog $args"; 372 my $cmd = "$vgsetup $timecmd $vgcmd $prog $args";

Completed in 131 milliseconds