;;
--xc-host=)
$optarg_ok && SBCL_XC_HOST=$optarg
- ;
+ ;;
-*)
bad_option "Unknown command-line option to $0: \"$option\""
;;
echo "//Options: --prefix='$SBCL_PREFIX' --xc-host='$SBCL_XC_HOST'"
# Save prefix for make and install.sh.
+mkdir -p output
echo "SBCL_PREFIX='$SBCL_PREFIX'" > output/prefix.def
# FIXME: Tweak this script, and the rest of the system, to support