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/auto/configure | |
| parent | 3ea0f1ae318db6cd9413914bb2ff824d71cefc6e (diff) | |
| download | vim-1858a842af5e3b07157add378ee3fd7b512cfea6.zip | |
patch 7.4.1409
Problem: Configure includes GUI despite --disable-gui flag.
Solution: Add SKIP_GTK3. (Kazunobu Kuriyama)
Diffstat (limited to 'src/auto/configure')
| -rwxr-xr-x | src/auto/configure | 1 |
1 files changed, 1 insertions, 0 deletions
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 |