From f5dcb34ae83648bf5868618bc7fe916073b4455f Mon Sep 17 00:00:00 2001 From: Jacek Sieka Date: Wed, 19 Jun 2024 09:42:58 +0200 Subject: [PATCH] ignore clean failures --- scripts/clean_build_artifacts.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/clean_build_artifacts.sh b/scripts/clean_build_artifacts.sh index 5fcf68a..a611992 100755 --- a/scripts/clean_build_artifacts.sh +++ b/scripts/clean_build_artifacts.sh @@ -16,6 +16,6 @@ cd "$(dirname "${BASH_SOURCE[0]}")"/.. echo "Cleaning up RocksDb build artifacts." rm -rf build -make -C vendor/rocksdb clean --no-print-directory > /dev/null +make -C vendor/rocksdb clean --no-print-directory > /dev/null || true git submodule foreach --recursive git clean -fdx > /dev/null