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 + 1 file changed, 1 insertion(+) (limited to 'src/auto') diff --git a/src/auto/configure b/src/auto/configure index 1b3b0c70fc..a528ccbef3 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 -- cgit v1.2.3