From 44c5183f21f3cb26e0a7c3bee21cea58c408837a Mon Sep 17 00:00:00 2001 From: Quanah Gibson-Mount Date: Mon, 18 May 2020 18:20:57 +0000 Subject: [PATCH] Regenerate configure for Issue#9236 --- configure | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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