ignore clean failures

This commit is contained in:
Jacek Sieka 2024-06-19 09:42:58 +02:00
parent d648b10e2c
commit f5dcb34ae8
No known key found for this signature in database
GPG Key ID: A1B09461ABB656B8
1 changed files with 1 additions and 1 deletions

View File

@ -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