diff options
author | Rob Austein <sra@hactrn.net> | 2011-05-06 04:21:34 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2011-05-06 04:21:34 +0000 |
commit | 3b361f019f4205c44b7ba5ee481d0b788c280b4b (patch) | |
tree | b7bcf5027c6aadcea31596aaccc0e11a3b93e47d /utils/print_rpki_manifest/Makefile.in | |
parent | 8c7c94b0c8347b046286bd99831e07a704901e4e (diff) |
DESTDIR
svn path=/pywrap/Makefile.in; revision=3801
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 |