Searched refs:TIME_BINARY (Results 1 – 2 of 2) sorted by relevance
25 TIME_BINARY = '/usr/local/bin/time' variable225 (TIME_BINARY, TIME_OUTPUT_FORMAT, time_log_file))
35 TIME_BINARY = '/usr/local/bin/time' variable261 (TIME_BINARY, TIME_OUTPUT_FORMAT, time_log_file))