On Jul 22, 2015, at 3:57, Kazunobu Kuriyama <[email protected]> wrote:
> Hi,
>
> I got the following failure during ‘make test’:
>
> cp test_options.ok test.ok
> # Sleep a moment to avoid that the xterm title is messed up.
> # 200 msec is sufficient, but only modern sleep supports a fraction of
> # a second, fall back to a second if it fails.
> VIMRUNTIME=../../runtime; export VIMRUNTIME; ../vim -u unix.vim -U NONE
> --noplugin -s dotest.in test_options.in
> # For flaky tests retry one time.
> # Check if the test.out file matches test.ok.
> 2,3c2
> < /Users/kazu/Documents/src/vim/runtime/optwin.vim, line 709
> < Vim(call):E113: Unknown option: beolloff
> ---
>> ok
> rm -rf X* test.ok viminfo
>
> Test results:
> test_options FAILED
> TEST FAILURE
> make[1]: *** [report] Error 1
> make: *** [test] Error 2
>
> It looks the cause is a typo:
>
> < /<snip>/vim/runtime/optwin.vim, line 709
> < Vim(call):E113: Unknown option: beolloff
>
> Best,
> Kazunobu Kuriyama
Looks next update of origin/master won’t happen in several hours.
For convenience, I paste a patch fixing the issue above:
diff --git a/runtime/optwin.vim b/runtime/optwin.vim
index aee9cc4..d51caaa 100644
--- a/runtime/optwin.vim
+++ b/runtime/optwin.vim
@@ -706,7 +706,7 @@ call <SID>BinOptionG("eb", &eb)
call append("$", "visualbell\tuse a visual bell instead of beeping")
call <SID>BinOptionG("vb", &vb)
call append("$", "belloff\tdo not ring the bell for these reasons")
-call <SID>OptionG("beolloff", &beolloff)
+call <SID>OptionG("belloff", &belloff)
if has("multi_lang")
call append("$", "helplang\tlist of preferred languages for finding help")
call <SID>OptionG("hlg", &hlg)
--
--
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.
