Patch 7.4.2218
Problem: Can't build with +timers when +digraph is not included.
Solution: Change #ifdef for e_number_exp. (Damien)
Files: src/globals.h
*** ../vim-7.4.2217/src/globals.h 2016-07-29 22:14:39.035998293 +0200
--- src/globals.h 2016-08-16 19:18:57.501568206 +0200
***************
*** 1509,1515 ****
EXTERN char_u e_nowrtmsg[] INIT(= N_("E37: No write since last change (add
! to override)"));
EXTERN char_u e_nowrtmsg_nobang[] INIT(= N_("E37: No write since last
change"));
EXTERN char_u e_null[] INIT(= N_("E38: Null argument"));
! #ifdef FEAT_DIGRAPHS
EXTERN char_u e_number_exp[] INIT(= N_("E39: Number expected"));
#endif
#ifdef FEAT_QUICKFIX
--- 1509,1515 ----
EXTERN char_u e_nowrtmsg[] INIT(= N_("E37: No write since last change (add
! to override)"));
EXTERN char_u e_nowrtmsg_nobang[] INIT(= N_("E37: No write since last
change"));
EXTERN char_u e_null[] INIT(= N_("E38: Null argument"));
! #if defined(FEAT_DIGRAPHS) || defined(FEAT_TIMERS)
EXTERN char_u e_number_exp[] INIT(= N_("E39: Number expected"));
#endif
#ifdef FEAT_QUICKFIX
*** ../vim-7.4.2217/src/version.c 2016-08-16 16:08:14.612354306 +0200
--- src/version.c 2016-08-16 19:20:09.824905475 +0200
***************
*** 765,766 ****
--- 765,768 ----
{ /* Add new patch number below this line */
+ /**/
+ 2218,
/**/
--
How To Keep A Healthy Level Of Insanity:
11. Specify that your drive-through order is "to go".
/// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
