diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index dcc92349..8908ae32 100644 --- a/Makefile.in +++ b/Makefile.in @@ -202,8 +202,11 @@ schemas/relaxng/myrpki.rng: schemas/relaxng/myrpki.rnc schemas/relaxng/router-certificate-schema.rng: schemas/relaxng/router-certificate-schema.rnc ${TRANG} schemas/relaxng/router-certificate-schema.rnc schemas/relaxng/router-certificate-schema.rng +# Eg: PYLINT_FLAGS='--disable=W0311' + lint: - find rpki -name '*.py' | xargs pylint --rcfile ${abs_top_srcdir}/buildtools/pylint.rc + { find rpki rp ca -name '*.py' -print; find rp ca -type f -perm -1 -print | xargs grep -El '^#!.+python'; } | \ + sort -u | xargs pylint --rcfile ${abs_top_srcdir}/buildtools/pylint.rc ${PYLINT_FLAGS} tags: Makefile find rpki rp ca schemas -type f \ |