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