diff options
| author | dundargoc <33953936+dundargoc@users.noreply.github.com> | 2023-01-15 19:30:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-15 19:30:17 +0100 |
| commit | 69c71c4ab44d0bf9fe5f6b6066ad5c269d1507b8 (patch) | |
| tree | 070140e60dca62c7a09b35b83eaefd917c08c497 /runtime/lua/vim/shared.lua | |
| parent | c752c853630898f38bcf46a9a5e9d83e41989eeb (diff) | |
| download | rneovim-69c71c4ab44d0bf9fe5f6b6066ad5c269d1507b8.tar.gz rneovim-69c71c4ab44d0bf9fe5f6b6066ad5c269d1507b8.tar.bz2 rneovim-69c71c4ab44d0bf9fe5f6b6066ad5c269d1507b8.zip | |
build: exclude tui/terminfo_defs.h from lintc-clint (#21822)
clint takes around 5-10 seconds to lint tui/terminfo_defs.h. For CI this
is negligible, but it's annoying for local development as touching
terminfo_defs.h will skyrocket lint times. Furthermore, we have no
reason to touch or modify terminfo_defs.h as it's a generated file, so
linting it shouldn't be necessary. This should speed up "make lint" by
the same amount, so around 5-10 seconds.
Diffstat (limited to 'runtime/lua/vim/shared.lua')
0 files changed, 0 insertions, 0 deletions