Check for file existence in walk_dir.sh

trailofbits · Jan 23, 2025 · e5627e4 · e5627e4
1 parent eba5c5b
commit e5627e4
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/scripts/walk_dir.sh b/scripts/walk_dir.sh
@@ -20,6 +20,11 @@ DIR="$PWD"
 
 find . -name build.rs |
 while read X; do
+    # smoelius: A previous iteration of this loop could have caused the file to go away.
+    if [[ ! -f "$X" ]]; then
+        continue
+    fi
+
     Y="$(dirname "$X")"
 
     pushd "$Y"