make is not always gmake. Apply patch from Raymond Wiker
in sbcl-devel message of 10 Feb 2003
SBCL="`pwd`/src/runtime/sbcl --noinform --core `pwd`/output/sbcl.core --userinit /dev/null --sysinit /dev/null --disable-debugger"
SBCL_BUILDING_CONTRIB=1
export SBCL SBCL_BUILDING_CONTRIB
+
+gnumake=${GNUMAKE:-gmake}
+
for i in contrib/*; do
test -d $i || continue;
# export INSTALL_DIR=$SBCL_HOME/`basename $i `
- make -C $i test
+ $gnumake -C $i test
done
;;; versions, especially for internal versions off the main CVS
;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.7.12.33"
+"0.7.12.34"