Fix

benedikt-schesch · May 5, 2024 · 27fc76e · 27fc76e
1 parent ff378ed
commit 27fc76e
Showing 1 changed file with 7 additions and 3 deletions.
diff --git 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