changeset 1275:08d81be1c6e4 draft

fix time.sh
author Daichi Toma <toma@cr.ie.u-ryukyu.ac.jp>
date Sun, 20 Nov 2011 12:05:35 +0900
parents 64e15fee0397
children 4ba9b622073d
files example/Miller_Rabin/run.sh example/many_task/Makefile.def
diffstat 2 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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`
--- 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)