Verified Commit 712421cc authored by Tommaso Tocci's avatar Tommaso Tocci
Browse files

update rocksDB 5.14.2 -> 5.15.10

parent 0c2a6a53

ifs/scripts/dl_dep.sh

+1 −1
Original line number Diff line number Diff line
@@ -205,7 +205,7 @@ clonedeps "argobots" "https://github.com/carns/argobots.git" "4a84e66ed8544db215 
# get Margo

clonedeps "margo" "https://xgitlab.cels.anl.gov/sds/margo.git" "cf673d430ce3d4b4f0a32f19f261e7898a863b81" &

# get rocksdb

wgetdeps "rocksdb" "https://github.com/facebook/rocksdb/archive/v5.14.2.tar.gz" &

wgetdeps "rocksdb" "https://github.com/facebook/rocksdb/archive/v5.15.10.tar.gz" &

# get syscall_intercept

clonedeps "syscall_intercept" "https://github.com/pmem/syscall_intercept.git" "4b3a3b50f9d8d0127a4b39022d78b7369a534673" &