diff options
| author | Justin M. Keyes <justinkz@gmail.com> | 2019-08-02 07:34:39 +0200 |
|---|---|---|
| committer | Justin M. Keyes <justinkz@gmail.com> | 2019-08-02 16:20:23 +0200 |
| commit | 9bc4f275b364741e38e925d946becfa155d96ddb (patch) | |
| tree | b6ea9186e0c7799e08d2da0a62f4c976f30ad0e4 /runtime/compiler/splint.vim | |
| parent | 7c19a4e51881294adc8d174c5be7f546a052c989 (diff) | |
vim-patch:5477506a9f01
Update runtime files.
https://github.com/vim/vim/commit/5477506a9f01d40fad2e8f0555bc37adee30478f
NA:
vim-patch:2a9c9f6d89f1 "undo extra changes in src/Makefile"
https://github.com/vim/vim/commit/2a9c9f6d89f19f8fa8d926e80c7f988729f6f1bd
Diffstat (limited to 'runtime/compiler/splint.vim')
| -rw-r--r-- | runtime/compiler/splint.vim | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/compiler/splint.vim b/runtime/compiler/splint.vim index 6239ca7139..3d7ada6d1d 100644 --- a/runtime/compiler/splint.vim +++ b/runtime/compiler/splint.vim @@ -2,7 +2,7 @@ " Compiler: splint/lclint (C source code checker) " Maintainer: Ralf Wildenhues <Ralf.Wildenhues@gmx.de> " Splint Home: http://www.splint.org/ -" Last Change: 2005 Apr 21 +" Last Change: 2019 Jul 23 " $Revision: 1.3 $ if exists("current_compiler") @@ -19,7 +19,7 @@ set cpo-=C " adapt this if you want to check more than one file at a time. " put command line options in .splintrc or ~/.splintrc -CompilerSet makeprg=splint\ % +CompilerSet makeprg=splint\ %:S " Note: when using the new array bounds checking flags: Each warning " usually has several lines and several references to source code mostly |