diff --git a/tools/build.sh b/tools/build.sh index da11b89d39a111034099322c21659da8c1b3dfcc..c58628dbcf29c8233faaa090133014cf72be410d 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 - $TOOLDIR/load-world.sh $TARGET $VERSION + sh -x $TOOLDIR/load-world.sh $TARGET "$VERSION" if [ ! -f $TARGET/lisp/lisp.core ]; then echo "Failed to build $TARGET!" exit 1