Fix race condition in helper script

`kem/*/nist` must not be deleted before `find kem/*/` completes.
tniessen · May 29, 2023 · d411b70 · d411b70
1 parent 4774ca7
commit d411b70
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/deps/mceliece/extract-kem-from-nist-submission b/deps/mceliece/extract-kem-from-nist-submission
@@ -59,14 +59,14 @@ patch_files() {
   id=$1
 
   (
-    # Only required for the NIST submission.
-    echo kem/$id/nist
     # Non-source files.
     find kem/$id/ -type f ! -name '*.c' ! -name '*.h'
+    # Only required for the NIST submission.
+    echo kem/$id/nist
     # Irrelevant header files.
     echo kem/$id/api.h
   ) | while read f; do
-    rm -rf "$f"
+    rm -r "$f"
     echo "- Removed $f"
   done