From ef83956e1e67736b4c6b886d897b74f022622a74 Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Sat, 28 Oct 2017 20:28:23 +0200 Subject: patch 8.0.1235: cannot disable the terminal feature in a huge build Problem: Cannot disable the terminal feature in a huge build. (lindhobe) Solution: Adjust the autoconf check. (Kazunobu Kuriyama, closes #2242) --- src/auto/configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/auto') diff --git a/src/auto/configure b/src/auto/configure index 4ee62b371..fa9276a13 100755 --- a/src/auto/configure +++ b/src/auto/configure @@ -7475,7 +7475,7 @@ fi $as_echo_n "checking --enable-terminal argument... " >&6; } # Check whether --enable-terminal was given. if test "${enable_terminal+set}" = set; then : - enableval=$enable_terminal; enable_terminal="yes" + enableval=$enable_terminal; else enable_terminal="auto" fi -- cgit v1.2.3