# HG changeset patch
# User Daichi Toma <toma@cr.ie.u-ryukyu.ac.jp>
# Date 1321758335 -32400
# Node ID 08d81be1c6e417e88b89e18415a971ba6fa1aeef
# Parent  64e15fee03979dbb12059cffc97593963d307aee
fix time.sh

diff -r 64e15fee0397 -r 08d81be1c6e4 example/Miller_Rabin/run.sh
--- a/example/Miller_Rabin/run.sh	Sun Nov 20 11:35:32 2011 +0900
+++ b/example/Miller_Rabin/run.sh	Sun Nov 20 12:05:35 2011 +0900
@@ -7,7 +7,7 @@
 	while [ $b -le 5 ]
 	do
 		echo -n "CPU_NUM $a "
-		time $* -cpu $a
+		(time $* -cpu $a) 1>/dev/null
 		b=`expr $b + 1`
 	done
 	a=`expr $a + 1`
diff -r 64e15fee0397 -r 08d81be1c6e4 example/many_task/Makefile.def
--- a/example/many_task/Makefile.def	Sun Nov 20 11:35:32 2011 +0900
+++ b/example/many_task/Makefile.def	Sun Nov 20 12:05:35 2011 +0900
@@ -6,7 +6,8 @@
 
 CERIUM = ../../../Cerium
 
-OPT = -g -O9
+OPT = -O9
+# OPT = -g -O9
 # OPT = -g
 CC      = g++
 CFLAGS  =  -DUSE_SIMPLE_TASK -Wall  $(OPT)