diff --git a/tools/build.sh b/tools/build.sh index aa88dac0d47994a6aeb6997bb87d0fd6487132ec..5c781752444b18113548581fd6caa8e4d17019bc 100755 --- a/tools/build.sh +++ b/tools/build.sh @@ -104,7 +104,6 @@ buildit () if [ "$ENABLE" = "yes" ]; then -set -x $TOOLDIR/clean-target.sh $TARGET $TIMER $TOOLDIR/build-world.sh $TARGET $OLDLISP $BOOT (cd $TARGET/lisp; $MAKE)