1 files changed, 3 insertions, 0 deletions
diff --git a/configure b/configure
index a09612ea..4f4552f0 100755
--- a/configure
+++ b/configure
@@ -8703,6 +8703,9 @@ fi
         as_fn_error $? "*** util/bindvar.sh failed" "$LINENO" 5
     fi
 )
+if test $? -ne 0; then
+    exit $?
+fi
 
 cat > config.report << END