diff --git a/configure b/configure
index ca83e5e2f6..c245ad4f93 100755
--- 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