Fail if a patch is not applicable, as suggested by Jason here: MetaCo…

…q#791 (comment) Co-authored-by: Jason Gross <[email protected]>
yforster · Dec 15, 2022 · 02b17cd · 02b17cd
1 parent 486d222
commit 02b17cd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/template-coq/update_plugin.sh b/template-coq/update_plugin.sh
@@ -19,8 +19,8 @@ then
       mv -f tmp $f
     done
     # Fix an extraction bug: wrong type annotation on eq_equivalence
-    patch -N -p0 < extraction.patch
-    patch -N -p0 < specFloat.patch
+    patch -N -p0 < extraction.patch || exit $?
+    patch -N -p0 < specFloat.patch || exit $?
     exit 0
 else
     echo "Extracted code is up-to-date"