2 files changed, 6 insertions, 0 deletions
diff --git a/configure b/configure
index 9a2cf663..42fd6be9 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
 
diff --git a/configure.ac b/configure.ac
index 3cabf647..788d8968 100644
--- a/configure.ac
+++ b/configure.ac
@@ -836,6 +836,9 @@ fi
         AC_MSG_ERROR([*** util/bindvar.sh failed])
     fi
 )
+if test $? -ne 0; then
+    exit $?
+fi
 
 cat > config.report << END