diff --git a/tools/build.sh b/tools/build.sh index c58628dbcf29c8233faaa090133014cf72be410d..d22b037a4e0862a1472b9a8ef20f08526b463efd 100755 --- a/tools/build.sh +++ b/tools/build.sh @@ -80,7 +80,7 @@ buildit () $TIMER $TOOLDIR/build-world.sh $TARGET $OLDLISP $BOOT (cd $TARGET/lisp; make) #$TOOLDIR/build-world.sh $TARGET $OLDLISP - sh -x $TOOLDIR/load-world.sh $TARGET "$VERSION" + $TOOLDIR/load-world.sh $TARGET "$VERSION" if [ ! -f $TARGET/lisp/lisp.core ]; then echo "Failed to build $TARGET!" exit 1