+case "$HOST_TYPE" in
+ cmucl) LISP="lisp -batch"
+ INIT="-noinit"
+ CORE="-core"
+ ;;
+ sbcl) LISP="sbcl"
+ INIT="--sysinit /dev/null --userinit /dev/null"
+ CORE="--core"
+ ;;
+ *) echo unknown host type: "$HOST_TYPE"
+ echo should be one of "sbcl" or "cmucl"
+ exit 1
+esac
+
+export SBCL_XC_HOST="$LISP $INIT"