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)
2017-10-28 20:28:23 +02:00
parent a6ce1ccf5c
commit ef83956e1e
4 changed files with 10 additions and 5 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -761,6 +761,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1235,
 /**/
    1234,
 /**/