Patch 8.1.1490
Problem: When a single test fails the exit code is not set. (Daniel Hahler)
Solution: Add an exit command. (closes #4506)
Files: src/testdir/Makefile
*** ../vim-8.1.1489/src/testdir/Makefile 2019-06-06 14:37:59.886604048
+0200
--- src/testdir/Makefile 2019-06-07 22:37:41.370243899 +0200
***************
*** 74,83 ****
$(NEW_TESTS):
rm -f [email protected] test.log messages
$(MAKE) -f Makefile [email protected]
@if test -f test.log; then \
! cat test.log; \
fi
- cat messages
RM_ON_RUN = test.out X* viminfo
RM_ON_START = tiny.vim small.vim mbyte.vim mzscheme.vim test.ok benchmark.out
--- 74,83 ----
$(NEW_TESTS):
rm -f [email protected] test.log messages
$(MAKE) -f Makefile [email protected]
+ cat messages
@if test -f test.log; then \
! exit 1; \
fi
RM_ON_RUN = test.out X* viminfo
RM_ON_START = tiny.vim small.vim mbyte.vim mzscheme.vim test.ok benchmark.out
*** ../vim-8.1.1489/src/version.c 2019-06-07 21:37:10.413300161 +0200
--- src/version.c 2019-06-07 22:39:37.485607642 +0200
***************
*** 769,770 ****
--- 769,772 ----
{ /* Add new patch number below this line */
+ /**/
+ 1490,
/**/
--
hundred-and-one symptoms of being an internet addict:
117. You are more comfortable typing in html.
/// 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].
To view this discussion on the web visit
https://groups.google.com/d/msgid/vim_dev/201906072055.x57Kt9FL025622%40masaka.moolenaar.net.
For more options, visit https://groups.google.com/d/optout.