diff options
| -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 285ce7d9..2a03a670 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -43,7 +43,8 @@ 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 \ - portal-gui/scripts/rpkigui-add-user portal-gui/scripts/rpkigui-response + portal-gui/scripts/rpkigui-add-user portal-gui/scripts/rpkigui-response \ + portal-gui/scripts/rpkigui-rcynic AUX_SCRIPTS = @@ -230,6 +231,9 @@ portal-gui/scripts/rpkigui-load-csv: portal-gui/scripts/load_csv.py portal-gui/scripts/rpkigui-add-user: portal-gui/scripts/adduser.py ${COMPILE_PYTHON} +portal-gui/scripts/rpkigui-rcynic: portal-gui/scripts/rpkigui-rcynic.py + ${COMPILE_PYTHON} + portal-gui/scripts/rpkigui-response: portal-gui/scripts/rpkigui-response.py ${COMPILE_PYTHON} |