aboutsummaryrefslogtreecommitdiff
path: root/Makefile.in
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2014-07-17 17:26:12 +0000
committerRob Austein <sra@hactrn.net>2014-07-17 17:26:12 +0000
commit7ae2b2bb18685d757bbcca6c9e664170f1866486 (patch)
tree988c6a8bbd07c28249c30e237cc4ebc1a8104dec /Makefile.in
parentd91c0b6c6a607e2c318818c1aeb1ac756bd0492d (diff)
Start unwinding the twisty maze of method calls in the old publication code.
svn path=/branches/tk705/; revision=5898
Diffstat (limited to 'Makefile.in')
-rw-r--r--Makefile.in4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in
index 3724a2f6..3121c7c4 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -216,8 +216,10 @@ lint:
{ 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
+tags: Makefile .FORCE
find rpki rp ca schemas -type f \
\( -name '*.[ch]' -o -name '*.py' -o -name '*.sql' -o -name '*.rnc' \) \
! -name relaxng.py ! -name sql_schemas.py -print | \
etags -
+
+.FORCE: