diff --git a/bin/build.sh b/bin/build.sh index 5eb2a5b4d09fe127dfeb8f6e0a731c4ff762760d..276272d59228a8fa29e716814b454ca324536464 100755 --- a/bin/build.sh +++ b/bin/build.sh @@ -108,7 +108,6 @@ esac buildit () { - set -x if echo $INTERACTIVE_BUILD | grep $BUILD > /dev/null; then INTERACTIVE=t else @@ -139,7 +138,6 @@ buildit () $TARGET/lisp/lisp -batch -noinit -nositeinit $FPU_MODE < /dev/null || { echo "Failed: $TARGET/lisp/lisp -batch -noinit $FPU_MODE"; exit 1; } return 0; fi - set +x } FPU_MODE=