From 80b85584ff7a44edf56544697bacb3959276ba5a Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Sat, 15 Jul 2017 21:44:22 -0600
Subject: [PATCH] Try harder to avoid build failures due to inconsistent
 warning options.

---
 cvc4.spec | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/cvc4.spec b/cvc4.spec
index 21c4f47..75337a3 100644
--- a/cvc4.spec
+++ b/cvc4.spec
@@ -114,6 +114,9 @@ sed -e '/^if test "$enable_debug_symbols"/,/fi/d' \
 sed -e "s|^\(javalibdir =.*\)jni|\1java/%{name}|" \
     -e 's/ -Wno-all//' \
     -i src/bindings/Makefile.am
+sed -e "s|^\(javalibdir =.*\)jni|\1java/%{name}|" \
+    -e 's/ -Wno-all//' \
+    -i src/bindings/Makefile.in
 
 # Fix access to an uninitialized variable
 sed -e 's/Kind k;/Kind k = kind::UNDEFINED_KIND;/' \