Searched refs:time_cmd (Results 1 – 1 of 1) sorted by relevance
95 case "$time_cmd" in96 "") time_cmd=time;;97 --time=*) time_cmd="${time_cmd#--time=}";;101 time_cmd="/data/local/tmp/multitime"103 time_cmd="multitime"105 time_cmd="$time_cmd -n$iter -s0"147 run_cmd+=( $time_cmd )