diff options
Diffstat (limited to 'rpkid/Makefile.in')
| -rw-r--r-- | rpkid/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rpkid/Makefile.in b/rpkid/Makefile.in index 9e261dfc..02713929 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -70,6 +70,7 @@ SCRIPTS = rpki-sql-backup rpki-sql-setup rpki-start-servers irbe_cli irdbd \ # scripts we build, but don't install BUILD_SCRIPTS = portal-gui/scripts/rpkigui-reset-demo \ portal-gui/scripts/rpkigui-flatten-roas \ + portal-gui/scripts/rpkigui-sync-users \ portal-gui/rpki.wsgi # these files get put in ${datarootdir}/rpki @@ -292,6 +293,9 @@ portal-gui/scripts/rpkigui-check-expired: portal-gui/scripts/rpkigui-check-expir portal-gui/scripts/rpkigui-flatten-roas: portal-gui/scripts/rpkigui-flatten-roas.py ${COMPILE_DJANGO} +portal-gui/scripts/rpkigui-sync-users: portal-gui/scripts/rpkigui-sync-users.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|" \ |