diff options
Diffstat (limited to 'rpkid/Makefile.in')
| -rw-r--r-- | rpkid/Makefile.in | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/rpkid/Makefile.in b/rpkid/Makefile.in index 67a6cbe4..aba6872b 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -42,7 +42,7 @@ SETUP_PY = \ POW_SO = rpki/POW/_POW.so SCRIPTS = rpki-sql-backup rpki-sql-setup rpki-start-servers irbe_cli irdbd myrpki \ - pubd rootd rpkid portal-gui/scripts/rpkigui-load-csv \ + pubd rootd rpkic rpkid portal-gui/scripts/rpkigui-load-csv \ portal-gui/scripts/rpkigui-add-user portal-gui/scripts/rpkigui-response \ portal-gui/scripts/rpkigui-rcynic @@ -123,7 +123,7 @@ tags: Makefile find . -type f \( -name '*.py' -o -name '*.sql' -o -name '*.rnc' -o -name '*.py.in' \) ! -name relaxng.py ! -name sql_schemas.py ! -name __doc__.py | etags - lint: - pylint --rcfile ${abs_top_srcdir}/buildtools/pylint.rc rpki/[a-z]*.py *d.py rpki-*.py myrpki.py irbe_cli.py tests/*.py + pylint --rcfile ${abs_top_srcdir}/buildtools/pylint.rc rpki/[a-z]*.py *d.py rpki-*.py myrpki.py rpkic.py irbe_cli.py tests/*.py # Documentation @@ -235,6 +235,9 @@ pubd: pubd.py rootd: rootd.py ${COMPILE_PYTHON} +rpkic: rpkic.py + ${COMPILE_PYTHON} + rpkid: rpkid.py ${COMPILE_PYTHON} |