[Devil-linux-commit] build/scripts build.sh,1.103,1.104

[Heiko Z. <smi...@us...>]

Update of /cvsroot/devil-linux/build/scripts
In directory fdv4jf1.ch3.sourceforge.com:/tmp/cvs-serv22623/scripts

Modified Files:
	build.sh 
Log Message:
make makefile now writes timing statistics to LOGS/build_time.csv (times in
seconds)


Index: build.sh
===================================================================
RCS file: /cvsroot/devil-linux/build/scripts/build.sh,v
retrieving revision 1.103
retrieving revision 1.104
diff -u -d -r1.103 -r1.104
--- build.sh	4 Oct 2009 12:29:18 -0000	1.103
+++ build.sh	19 Oct 2009 14:15:19 -0000	1.104
@@ -136,7 +136,7 @@
 					echo "		mkdir -p $WORKDIR/LOGS/$CMD" >> $WORKDIR/Makefile.$CMD
 					LOG="&> $WORKDIR/LOGS/$CMD/$SCRIPT"
 				fi
-				echo "		( source $MYDIR/settings ; cd $SOURCEDIR ; ( $NICE $MYDIR/$SCRIPT $CMD $LOG ) )" >> $WORKDIR/Makefile.$CMD
+				echo "		export TIMEFORMAT=\"${SCRIPT},${CMD},%R\" ; time ( source $MYDIR/settings ; cd $SOURCEDIR ; ( $NICE $MYDIR/$SCRIPT $CMD $LOG ) )  2>> $WORKDIR/LOGS/build_time.csv" >> $WORKDIR/Makefile.$CMD
 				echo "		touch $DONEFILE" >> $WORKDIR/Makefile.$CMD
 				echo >> $WORKDIR/Makefile.$CMD