# HG changeset patch # User Richard Westhaver # Date 1720392095 14400 # Node ID 05a519f3339e212d754cae1d817faa019cda7bab # Parent 0f82807e8b6e233a1097f0374d50eb3e37f1b514 fix diff -r 0f82807e8b6e -r 05a519f3339e scripts/dist-rocksdb-binary.sh --- a/scripts/dist-rocksdb-binary.sh Sun Jul 07 18:09:47 2024 -0400 +++ b/scripts/dist-rocksdb-binary.sh Sun Jul 07 18:41:35 2024 -0400 @@ -1,7 +1,7 @@ #!/bin/sh set -e cd .stash/src -tar -cf rocksdb.tar.zst rocksdb/librocksdb.so* rocksdb/include/* +tar -cf rocksdb.tar rocksdb/librocksdb.so* rocksdb/include/* zstd rocksdb.tar rm rocksdb.tar mv rocksdb.tar.zst ../