If vendor RocksDb files have changed the trigger a clean rebuild. (#49)

This commit is contained in:
web3-developer 2024-06-14 22:54:29 +08:00 committed by GitHub
parent 293dc0745e
commit 93c6df0765
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 13 additions and 3 deletions

View File

@ -23,6 +23,14 @@ BUILD_DEST="${REPO_DIR}/build/lib"
git submodule update --init
if ${MAKE} -C "${ROCKSDB_LIB_DIR}" --dry-run static_lib | grep -q 'Nothing to be done'; then
echo "RocksDb static libraries already built. Skipping build."
exit 0
else
${REPO_DIR}/scripts/clean_build_artifacts.sh
echo "Building RocksDb static libraries."
fi
export DISABLE_WARNING_AS_ERROR=1
export ROCKSDB_DISABLE_SNAPPY=1

View File

@ -13,7 +13,9 @@ set -e
cd "$(dirname "${BASH_SOURCE[0]}")"/..
rm -rf build
make -C vendor/rocksdb clean
echo "Cleaning up RocksDb build artifacts."
git submodule foreach --recursive git clean -fdx
rm -rf build
make -C vendor/rocksdb clean --no-print-directory > /dev/null
git submodule foreach --recursive git clean -fdx > /dev/null