-# The value of SBCL_XC_HOST should be a command to invoke the
-# cross-compilation Lisp system in such a way that it reads commands
-# from standard input, and terminates when it reaches end of file on
-# standard input. Some suitable values are:
-# "sbcl" to use an existing SBCL binary as a cross-compilation host
-# "sbcl --sysinit /dev/null --userinit /dev/null"
-# to use an existing SBCL binary as a cross-compilation host
-# even though you have stuff in your initialization files
-# which makes it behave in such a non-standard way that
-# it keeps the build from working
-# "sbcl --noprogrammer"
-# to use an existing SBCL binary as a cross-compilation host
-# and tell it to handle errors as best it can by itself,
-# without trying to use *DEBUG-IO* to ask for help from
-# the programmer
-# "lisp -batch" to use an existing CMU CL binary as a cross-compilation host
-# "lisp -noinit -batch"
-# to use an existing CMU CL binary as a cross-compilation host
-# when you have weird things in your .cmucl-init file
-# Someday CLISP should work
-# "clisp"
-# but as of sbcl-0.7.1.17, it still doesn't. (SBCL's fault: too much
-# unportable code!)
-#
-# FIXME: Make a more sophisticated command line parser, probably
-# accepting "sh make.sh --xc-host foolisp" instead of the
-# the present "sh make.sh foolisp".
-# FIXME: Tweak this script, and the rest of the system, to support
-# a second bootstrapping pass in which the cross-compilation host is
-# known to be SBCL itself, so that the cross-compiler can do some
-# optimizations (especially specializable arrays) that it doesn't
-# know how to implement how in a portable way. (Or maybe that wouldn't
-# require a second pass, just testing at build-the-cross-compiler time
-# whether the cross-compilation host returns suitable values from
-# UPGRADED-ARRAY-ELEMENT-TYPE?)
-export SBCL_XC_HOST="${1:-sbcl --noprogrammer}"
-echo //SBCL_XC_HOST=\"$SBCL_XC_HOST\"
+# If you're cross-compiling, make-config.sh should "do the right
+# thing" when run on the target machine, with the minor caveat that
+# any --xc-host parameter should be suitable for the host machine
+# instead of the target.
+sh make-config.sh "$@" || exit $?
+
+. output/prefix.def
+. output/build-config
+
+build_started=`date`
+echo "//Starting build: $build_started"
+# Apparently option parsing succeeded. Print out the results.
+echo "//Options: --prefix='$SBCL_PREFIX' --xc-host='$SBCL_XC_HOST'"