From 4932930136dc7baf1b87c6d60cec977dbad66f6b Mon Sep 17 00:00:00 2001 From: rtoy <rtoy> Date: Sat, 27 Dec 2008 23:18:04 +0000 Subject: [PATCH] Replace $TIMER with time, everywhere. Requested by Stelian Ionescu to support Gentoo. Some Gentoo systems don't have /usr/bin/time. (What kind of Unix system doesn't have /usr/bin/time?) --- tools/build.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/tools/build.sh b/tools/build.sh index 0632d1d88..2c8a910a0 100755 --- a/tools/build.sh +++ b/tools/build.sh @@ -39,7 +39,6 @@ ENABLE4="yes" version=19e SRCDIR=src TOOLDIR=$SRCDIR/tools -TIMER="time" VERSION="CVS Head `date '+%Y-%m-%d %H:%M:%S'`" BASE=build OLDLISP="cmulisp -noinit" @@ -115,7 +114,7 @@ buildit () if [ "$ENABLE" = "yes" ]; then $TOOLDIR/clean-target.sh $CLEAN_FLAGS $TARGET || { echo "Failed: $TOOLDIR/clean-target.sh"; exit 1; } - $TIMER $TOOLDIR/build-world.sh $TARGET $OLDLISP $BOOT || { echo "Failed: $TOOLDIR/build-world.sh"; exit 1; } + time $TOOLDIR/build-world.sh $TARGET $OLDLISP $BOOT || { echo "Failed: $TOOLDIR/build-world.sh"; exit 1; } $MAKE -C $TARGET/lisp || { echo "Failed: $MAKE -C $TARGET/lisp"; exit 1; } if [ "$BUILD_WORLD2" = "yes" ]; then @@ -186,7 +185,7 @@ buildit if [ "$SKIPUTILS" = "no" ]; then OLDLISP="${BASE}-4/lisp/lisp -noinit $FPU_MODE" - $TIMER $TOOLDIR/build-utils.sh $TARGET $FPU_MODE + time $TOOLDIR/build-utils.sh $TARGET $FPU_MODE fi build_finished=`date` -- GitLab