1.1--- a/skelfile	Tue Jul 02 11:34:27 2024 -0400
     1.2+++ b/skelfile	Tue Jul 02 11:35:07 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"' > 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 &&