Searched refs:timecmd (Results 1 – 2 of 2) sorted by relevance
285 my $timecmd = "/usr/bin/time -p";289 my $cmd = "$timecmd $prog $args";372 my $cmd = "$vgsetup $timecmd $vgcmd $prog $args";