Searched refs:TIME_BINARY (Results 1 – 2 of 2) sorted by relevance
36 TIME_BINARY = '/usr/local/bin/time' variable265 (TIME_BINARY, TIME_OUTPUT_FORMAT, time_log_file))
23 TIME_BINARY = '/usr/local/bin/time' variable287 (TIME_BINARY, TIME_OUTPUT_FORMAT, time_log_file))