dist: dir fix

This commit is contained in:
Ștefan Talpalaru 2022-03-27 13:49:00 +02:00
parent 51bc1cf87f
commit 0165e43753
No known key found for this signature in database
GPG Key ID: CBF7934204F1B6F9
1 changed files with 1 additions and 0 deletions

View File

@ -27,6 +27,7 @@ build_rocksdb() {
ROCKSDB_ARCHIVE="rocksdb-v${ROCKSDBVER}.tar.gz"
ROCKSDB_DIR="rocksdb-${ROCKSDBVER}"
mkdir -p build
pushd build >/dev/null
rm -rf "${ROCKSDB_DIR}"
if [[ ! -e "${ROCKSDB_ARCHIVE}" ]]; then