1.1--- a/scripts/install-rocksdb-pack.sh	Sun Jul 07 21:18:15 2024 -0400
     1.2+++ b/scripts/install-rocksdb-pack.sh	Sun Jul 07 21:53:15 2024 -0400
     1.3@@ -3,7 +3,8 @@
     1.4 # static library is shipped separately.
     1.5 set -e
     1.6 cd .stash/tmp
     1.7-curl -O https://packy.compiler.company/dist/x86_64-unknown-linux-gnu/pack/rocksdb.tar.zst
     1.8+TARGET="${1:-x86_64-unknown-linux-gnu}"
     1.9+curl -O "https://packy.compiler.company/dist/${TARGET}/pack/rocksdb.tar.zst"
    1.10 unzstd rocksdb.tar.zst
    1.11 tar -xvf rocksdb.tar
    1.12 cd rocksdb