From 1858a842af5e3b07157add378ee3fd7b512cfea6 Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Tue, 23 Feb 2016 22:30:31 +0100 Subject: patch 7.4.1409 Problem: Configure includes GUI despite --disable-gui flag. Solution: Add SKIP_GTK3. (Kazunobu Kuriyama) --- src/auto/configure | 1 + src/configure.in | 1 + src/version.c | 2 ++ 3 files changed, 4 insertions(+) diff --git a/src/auto/configure b/src/auto/configure index 1b3b0c70f..a528ccbef 100755 --- a/src/auto/configure +++ b/src/auto/configure @@ -8545,6 +8545,7 @@ enable_gui_canon=`echo "_$enable_gui" | \ sed 's/[ _+-]//g;y/ABCDEFGHIJKLMNOPQRSTUVWXYZ/abcdefghijklmnopqrstuvwxyz/'` SKIP_GTK2=YES +SKIP_GTK3=YES SKIP_GNOME=YES SKIP_MOTIF=YES SKIP_ATHENA=YES diff --git a/src/configure.in b/src/configure.in index 930278c7d..acbccdea3 100644 --- a/src/configure.in +++ b/src/configure.in @@ -2207,6 +2207,7 @@ enable_gui_canon=`echo "_$enable_gui" | \ dnl Skip everything by default. SKIP_GTK2=YES +SKIP_GTK3=YES SKIP_GNOME=YES SKIP_MOTIF=YES SKIP_ATHENA=YES diff --git a/src/version.c b/src/version.c index 927e0b2f3..f1edf3647 100644 --- a/src/version.c +++ b/src/version.c @@ -748,6 +748,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 1409, /**/ 1408, /**/ -- cgit v1.2.1