From 02b17cd2178d032f96cabf26eb1ceafef28b7680 Mon Sep 17 00:00:00 2001
From: Yannick Forster <yannick.forster@inria.fr>
Date: Thu, 15 Dec 2022 12:00:20 +0100
Subject: [PATCH] Fail if a patch is not applicable, as suggested by Jason
 here: https://github.com/MetaCoq/metacoq/pull/791#issuecomment-1337798441

Co-authored-by: Jason Gross <jgross@mit.edu>
---
 template-coq/update_plugin.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/template-coq/update_plugin.sh b/template-coq/update_plugin.sh
index 1842cfdeb..097a2e93b 100755
--- 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"