Regenerate configure for Issue#9236

diff --git a/configure b/configure
index ca83e5e2f6433f2b70b8836d00f997af075411ed..c245ad4f93af979cb42aea0699df95b861edd8ef 100755 (executable)
--- a/configure
+++ b/configure
@@ -1,5 +1,5 @@
 #! /bin/sh
-# From configure.in Id: d491e70670048cb080e0e996d172cd27960e4328 .
+# From configure.in Id: 1e681bca311262d7c74837076cd37d5595229169 .
 # Guess values for system-dependent variables and create Makefiles.
 # Generated by GNU Autoconf 2.69.
 #
@@ -3754,7 +3754,7 @@ if test "${enable_shell+set}" = set; then :
        ol_enable_shell="$ol_arg"
 
 else
-       ol_enable_shell=${ol_enable_backends:-no}
+       ol_enable_shell=no
 fi
 
 # end --enable-shell