1.1--- a/scripts/install-rocksdb-pack.sh Wed Jun 19 20:54:03 2024 +0000
1.2+++ b/scripts/install-rocksdb-pack.sh Wed Jun 19 17:50:43 2024 -0400
1.3@@ -2,8 +2,8 @@
1.4 # the rocksdb pack only includes the shared library and headers. the
1.5 # static library is shipped separately.
1.6 set -e
1.7-cd .stash/src
1.8-curl -O https://packy.compiler.company/dist/x86_64-unknown-linux-gnu/rocksdb.tar.zst
1.9+cd .stash/tmp
1.10+curl -O https://packy.compiler.company/dist/x86_64-unknown-linux-gnu/pack/rocksdb.tar.zst
1.11 unzstd rocksdb.tar.zst
1.12 tar -xvf rocksdb.tar
1.13 cd rocksdb