projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
1.0.43.2: remove bashishm from source-distribution.sh
[sbcl.git]
/
make.sh
diff --git
a/make.sh
b/make.sh
index
37e16d9
..
30a91a8
100755
(executable)
--- a/
make.sh
+++ b/
make.sh
@@
-70,7
+70,7
@@
do
;;
--xc-host=)
$optarg_ok && SBCL_XC_HOST=$optarg
;;
--xc-host=)
$optarg_ok && SBCL_XC_HOST=$optarg
- ;
+ ;;
-*)
bad_option "Unknown command-line option to $0: \"$option\""
;;
-*)
bad_option "Unknown command-line option to $0: \"$option\""
;;
@@
-156,6
+156,7
@@
echo "//Starting build: $build_started"
echo "//Options: --prefix='$SBCL_PREFIX' --xc-host='$SBCL_XC_HOST'"
# Save prefix for make and install.sh.
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
echo "SBCL_PREFIX='$SBCL_PREFIX'" > output/prefix.def
# FIXME: Tweak this script, and the rest of the system, to support