annotate example/Miller_Rabin/time.sh @ 1274:64e15fee0397 draft

add shell script that measure time
author Daichi Toma <toma@cr.ie.u-ryukyu.ac.jp>
date Sun, 20 Nov 2011 11:35:32 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1274
64e15fee0397 add shell script that measure time
Daichi Toma <toma@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 #!/bin/zsh
64e15fee0397 add shell script that measure time
Daichi Toma <toma@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
64e15fee0397 add shell script that measure time
Daichi Toma <toma@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 ./run.sh $* |& awk '{cpu[$2]+=$12; total[$2]++;} END {for(i in cpu){ ans=cpu[i]/total[i]; print "CPU" i "\t" ans }}'
64e15fee0397 add shell script that measure time
Daichi Toma <toma@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4