checkman: ignore inst/*
This commit is contained in:
parent
096ffdb686
commit
5870aeaa39
2 changed files with 5 additions and 1 deletions
|
@ -34,6 +34,7 @@ BEGIN {
|
|||
Skipdirs["lml"] = 1
|
||||
Skipdirs["type1"] = 1
|
||||
Skipdirs["service.alt"] = 1
|
||||
Skipdirs["inst"] = 1
|
||||
|
||||
Omitted["411"] = 1
|
||||
Omitted["Kill"] = 1
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue