diff --git a/run.sh b/run.sh index 0ff3955fc7..d1068170e9 100755 --- a/run.sh +++ b/run.sh @@ -124,9 +124,11 @@ if [ -d "repos" ]; then find "repos/locks" -name "*.lock" -delete fi -# Delete .workdir -chmod -R +w .workdir -rm -rf .workdir +# Check if .workdir exists and delete it +if [ -d .workdir ]; then + chmod -R +w .workdir + rm -rf .workdir +fi python3 src/python/delete_cache_placeholders.py \ --cache_dir "$CACHE_DIR"