diff options
Diffstat (limited to 'utils/print_rpki_manifest/Makefile.in')
| -rw-r--r-- | utils/print_rpki_manifest/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/print_rpki_manifest/Makefile.in b/utils/print_rpki_manifest/Makefile.in index cc4efd97..ace3391f 100644 --- a/utils/print_rpki_manifest/Makefile.in +++ b/utils/print_rpki_manifest/Makefile.in @@ -42,6 +42,7 @@ test: all if test -d ${MANIFEST_DIR}; then find ${MANIFEST_DIR} -type f -name '*.mnf' -print -exec ./${BIN} {} \; ; else :; fi install: all + ${INSTALL} -d ${DESTDIR}${bindir} ${INSTALL} ${BIN} ${DESTDIR}${bindir} deinstall uninstall: |