diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 28f3d4c8..dcc92349 100644 --- a/Makefile.in +++ b/Makefile.in @@ -207,6 +207,6 @@ lint: tags: Makefile find rpki rp ca schemas -type f \ - \( -name '*.[ch] -o -name '*.py' -o -name '*.sql' -o -name '*.rnc' \) \ + \( -name '*.[ch]' -o -name '*.py' -o -name '*.sql' -o -name '*.rnc' \) \ ! -name relaxng.py ! -name sql_schemas.py -print | \ etags - |