view example/Miller_Rabin/run.sh @ 1716:c12df61ded45 draft

fix gpu profile. not work yet
author Yuhi TOMARI <yuhi@cr.ie.u-ryukyu.ac.jp>
date Tue, 15 Oct 2013 17:21:10 +0900
parents 08d81be1c6e4
children
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) 1>/dev/null
		b=`expr $b + 1`
	done
	a=`expr $a + 1`
done