0.8.1.41:

        Remove time calls in make.sh :-(

diff --git a/make.sh b/make.sh
index 32066f7..df101ca 100755 (executable)
--- a/make.sh
+++ b/make.sh
@@ -113,11 +113,11 @@ sh make-config.sh || exit 1
 # Or, if you can set up the files somewhere shared (with NFS, AFS, or
 # whatever) between the host machine and the target machine, the basic
 # procedure above should still work, but you can skip the "copy" steps.
-time sh make-host-1.sh   || exit 1
-time sh make-target-1.sh || exit 1
-time sh make-host-2.sh   || exit 1
-time sh make-target-2.sh || exit 1
-time sh make-target-contrib.sh || exit 1
+sh make-host-1.sh   || exit 1
+sh make-target-1.sh || exit 1
+sh make-host-2.sh   || exit 1
+sh make-target-2.sh || exit 1
+sh make-target-contrib.sh || exit 1
 
 # Sometimes people used to see the "No tests failed." output from the last
 # DEFTEST in contrib self-tests and thing that's all that is. So...

diff --git a/version.lisp-expr b/version.lisp-expr
index 584d481..73fafe4 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -17,4 +17,4 @@
 ;;; 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.1.40"
+"0.8.1.41"