Make make-config.sh work better on SunOS (thanks to Vincent
Arkensteijn)
# Make a unique ID for this build (to discourage people from
# mismatching sbcl and *.core files).
-echo '"'`hostname`-`whoami`-`date +%F-%H-%M-%S`'"' > output/build-id.tmp
+if [ `uname` = "SunOS" ] ; then
+ # use /usr/xpg4/bin/id instead of /usr/bin/id
+ PATH=/usr/xpg4/bin:$PATH
+fi
+echo '"'`hostname`-`id -un`-`date +%Y-%m-%d-%H-%M-%S`'"' > output/build-id.tmp
;;; checkins which aren't released. (And occasionally for internal
;;; versions, especially for internal versions off the main CVS
;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.8.13.26"
+"0.8.13.27"