Searched refs:TIME_TMP_FILE (Results 1 – 1 of 1) sorted by relevance
92 TIME_TMP_FILE=${TIME_TMP_FILE:-"${TMP:-/tmp}/cpu_$$"}101 TIME="/usr/bin/time -o $TIME_TMP_FILE -f \"%e\""108 TM=`cat $TIME_TMP_FILE`135 /bin/rm -rf $TIME_TMP_FILE