Searched refs:runscript (Results 1 – 1 of 1) sorted by relevance
104 runscript=$1202 echo "Running $runscript at $rev..."204 /usr/bin/time -o $timeoutfile -f "%e\nreal\t%E\nuser\t%Us\nsys\t%Ss\nmaxm\t%Mk" $runscript 2>&1 | t…