diff options
Diffstat (limited to 'rpkid/Makefile.in')
| -rw-r--r-- | rpkid/Makefile.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/rpkid/Makefile.in b/rpkid/Makefile.in index d7b9464c..bd004f28 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -45,7 +45,8 @@ POW_SO = rpki/POW/_POW.so SCRIPTS = rpki-sql-backup rpki-sql-setup rpki-start-servers irbe_cli irdbd \ pubd rootd rpkic rpkid \ portal-gui/scripts/rpkigui-rcynic \ - portal-gui/scripts/rpkigui-import-routes + portal-gui/scripts/rpkigui-import-routes \ + portal-gui/scripts/rpkigui-check-expired # scripts we build, but don't install BUILD_SCRIPTS = portal-gui/scripts/rpkigui-reset-demo @@ -239,6 +240,9 @@ portal-gui/scripts/rpkigui-import-routes: portal-gui/scripts/rpkigui-import-rout portal-gui/scripts/rpkigui-reset-demo: portal-gui/scripts/rpkigui-reset-demo.py ${COMPILE_DJANGO} +portal-gui/scripts/rpkigui-check-expired: portal-gui/scripts/rpkigui-check-expired.py + ${COMPILE_DJANGO} + portal-gui/rpki.wsgi: ${srcdir}/portal-gui/rpki.wsgi.in sed -e "s|@VIRTUAL"_"ENV@|${VIRTUAL_ENV}|" \ -e "s|@PYTHON""PATH@|${sysconfdir}/rpki|" \ |