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