Commits

Anonymous committed 907a4c1

use \time

  • Participants
  • Parent commits b88977d

Comments (0)

Files changed (1)

File runbenchmark.sh

 for i in "$@";
 do
     printf "%s %d %d %d " $i ${num_c} ${num_s} ${repeat_times} 1>&2
-    time --format "${timeformat}" $i ${num_c} ${num_s} ${repeat_times};
+    \time --format "${timeformat}" $i ${num_c} ${num_s} ${repeat_times};
 done