From 27fc76e3b55bb0b753efc13e5e5197dc78984dd5 Mon Sep 17 00:00:00 2001 From: Benedikt Schesch Date: Sat, 4 May 2024 22:46:00 -0700 Subject: [PATCH] Fix --- run.sh | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/run.sh b/run.sh index f499439714..fa5dd67d31 100755 --- a/run.sh +++ b/run.sh @@ -107,9 +107,13 @@ fi mkdir -p "$OUT_DIR" -# Delete all locks in cache -find "$CACHE_DIR" -name "*.lock" -delete -find "repos" -name "*.lock" -delete +# Delete all locks +if [ -d "$CACHE_DIR" ]; then + find "$CACHE_DIR" -name "*.lock" -delete +fi +if [ -d "repos" ]; then + find "repos/locks" -name "*.lock" -delete +fi # Delete .workdir rm -rf .workdir