Patch 8.0.1614
Problem: "make tags" doesn't include libvterm.
Solution: Add the libvterm sources to the tags command.
Files: src/Makefile
*** ../vim-8.0.1613/src/Makefile 2018-03-11 14:43:53.084536821 +0100
--- src/Makefile 2018-03-17 15:50:45.459092072 +0100
***************
*** 1396,1401 ****
--- 1396,1403 ----
libvterm/src/utf8.h \
libvterm/src/vterm_internal.h
+ TERM_SRC = libvterm/src/*.c
+
### Command to create dependencies based on #include "..."
### prototype headers are ignored due to -DPROTO, system
### headers #include <...> are ignored if we use the -MM option, as
***************
*** 2040,2046 ****
# Motif and Athena GUI
# You can ignore error messages for missing files.
tags TAGS: notags
! $(TAGPRG) $(TAGS_SRC) $(TAGS_INCL)
# Make a highlight file for types. Requires Exuberant ctags and awk
types: types.vim
--- 2042,2048 ----
# Motif and Athena GUI
# You can ignore error messages for missing files.
tags TAGS: notags
! $(TAGPRG) $(TAGS_SRC) $(TAGS_INCL) $(TERM_SRC) $(TERM_DEPS)
# Make a highlight file for types. Requires Exuberant ctags and awk
types: types.vim
*** ../vim-8.0.1613/src/version.c 2018-03-17 13:15:11.358123941 +0100
--- src/version.c 2018-03-17 15:53:57.449925306 +0100
***************
*** 768,769 ****
--- 768,771 ----
{ /* Add new patch number below this line */
+ /**/
+ 1614,
/**/
--
If Pacman had affected us as kids we'd be running around in dark rooms,
munching pills and listening to repetitive music.
-- Marcus Brigstocke
/// 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.
