Make the "reinstall" target delete the package cookie as well as

the install cookie.
This commit is contained in:
Satoshi Asami 1995-05-09 00:31:54 +00:00
parent 20e5d523d9
commit 94c600b239

View File

@ -3,7 +3,7 @@
# bsd.port.mk - 940820 Jordan K. Hubbard. # bsd.port.mk - 940820 Jordan K. Hubbard.
# This file is in the public domain. # This file is in the public domain.
# #
# $Id: bsd.port.mk,v 1.154 1995/05/04 13:14:16 jkh Exp $ # $Id: bsd.port.mk,v 1.155 1995/05/04 18:53:26 adam Exp $
# #
# Please view me with 4 column tabs! # Please view me with 4 column tabs!
@ -782,6 +782,7 @@ reinstall: pre-reinstall install
pre-reinstall: pre-reinstall:
@rm -f ${INSTALL_COOKIE} @rm -f ${INSTALL_COOKIE}
@rm -f ${PACKAGE_COOKIE}
.endif .endif
################################################################ ################################################################