1.1--- a/skelfile	Mon Jul 01 21:34:00 2024 -0400
     1.2+++ b/skelfile	Mon Jul 01 21:42:06 2024 -0400
     1.3@@ -46,8 +46,9 @@
     1.4  (rocksdb-static (src) #$scripts/get-rocksdb.sh$#
     1.5                  #$cd .stash/src/rocksdb && make static_lib DISABLE_JEMALLOC=1$#)
     1.6  (sbcl (src) #$scripts/get-sbcl.sh$#
     1.7-       #$cd .stash/src/sbcl &&
     1.8-       echo '"2.4.6.$(git rev-parse --short HEAD)"' > version.lisp-expr &&
     1.9+       #$cd .stash/src/sbcl
    1.10+       sbcl_rev=$(git rev-parse --short HEAD)
    1.11+       echo '"2.4.6.${sbcl_rev}"' > version.lisp-expr &&
    1.12        ./make.sh --dynamic-space-size=8Gb --without-gencgc --with-mark-region-gc --fancy$#)
    1.13  (sbcl-docs (sbcl) #$cd .stash/src/sbcl/doc/manual && make$#)
    1.14  (sbcl-gencgc (src) #$cd .stash/src/sbcl &&