view example/Miller_Rabin/run.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 08d81be1c6e4
line wrap: on
line source

#!/bin/zsh

a=1
while [ $a -le 24 ]
do
	b=0
	while [ $b -le 5 ]
	do
		echo -n "CPU_NUM $a "
		time $* -cpu $a
		b=`expr $b + 1`
	done
	a=`expr $a + 1`
done