diff options
author | Bram Moolenaar <Bram@vim.org> | 2016-02-23 22:30:31 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2016-02-23 22:30:31 +0100 |
commit | 1858a842af5e3b07157add378ee3fd7b512cfea6 (patch) | |
tree | 64f4bb03e0918f20286e8153942df8aaf4512da7 /src/configure.in | |
parent | 3ea0f1ae318db6cd9413914bb2ff824d71cefc6e (diff) | |
download | vim-git-1858a842af5e3b07157add378ee3fd7b512cfea6.tar.gz |
patch 7.4.1409v7.4.1409
Problem: Configure includes GUI despite --disable-gui flag.
Solution: Add SKIP_GTK3. (Kazunobu Kuriyama)
Diffstat (limited to 'src/configure.in')
-rw-r--r-- | src/configure.in | 1 |
1 files changed, 1 insertions, 0 deletions
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 |