Fix release script to work on a blank destination repo

semgrep · Sep 19, 2024 · 2fbc90c · 2fbc90c
1 parent 639df49
commit 2fbc90c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lang/release b/lang/release
@@ -169,7 +169,7 @@ make -C "$lang" GEN_OCAML_OPTIONS="$GEN_OCAML_OPTIONS" gen
 dst="$export_dir"/"$repo"
 if [[ -d "$lang"/ocaml-src ]]; then
   # Make sure obsolete files are removed from the release repo
-  git -C "$dst" rm -rf lib bin
+  git -C "$dst" rm -rf --ignore-unmatch lib bin
 
   cp -a "$lang"/ocaml-src/lib "$dst"
   cp -a "$lang"/ocaml-src/bin "$dst"