Searched refs:TIME_BINARY (Results 1 – 2 of 2) sorted by relevance
37 TIME_BINARY = '/usr/local/bin/time' variable263 (TIME_BINARY, TIME_OUTPUT_FORMAT, time_log_file))
24 TIME_BINARY = '/usr/local/bin/time' variable292 (TIME_BINARY, TIME_OUTPUT_FORMAT, time_log_file))