diff options
Diffstat (limited to 'build-aux/lint-generic')
| -rwxr-xr-x | build-aux/lint-generic | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build-aux/lint-generic b/build-aux/lint-generic index c02dc34..92addcd 100755 --- a/build-aux/lint-generic +++ b/build-aux/lint-generic @@ -40,6 +40,7 @@ for filename in "$@"; do -e 's,.*/config/,,' \ -e 's,.*/config\.h$,config.h,' \ -e 's,.*include/,,' \ + -e 's,.*static/,,' \ -e 's/\.wip$//') if [ "$dscname_act" != "$dscname_exp" ] && [ "cmd/$dscname_act" != "$dscname_exp" ]; then err "$filename" "self-identifies as $dscname_act (expected $dscname_exp)" |