Hi, patch below implements reconfigure for ports.
-- Antti Harri diff --git infrastructure/mk/bsd.port.mk infrastructure/mk/bsd.port.mk index eb58694..74e282d 100644 --- infrastructure/mk/bsd.port.mk +++ infrastructure/mk/bsd.port.mk @@ -3391,6 +3391,10 @@ rebuild: @rm -f ${_BUILD_COOKIE} @${_MAKE} build +reconfigure: + @rm -f ${_CONFIGURE_COOKIE} + @${_MAKE} configure + uninstall deinstall: @${ECHO_MSG} "===> Deinstalling for ${FULLPKGNAME${SUBPACKAGE}}" @${SUDO} ${_PKG_DELETE} ${FULLPKGNAME${SUBPACKAGE}} diff --git share/man/man5/bsd.port.mk.5 share/man/man5/bsd.port.mk.5 index 96a6d05..60005b6 100644 --- share/man/man5/bsd.port.mk.5 +++ share/man/man5/bsd.port.mk.5 @@ -505,6 +505,8 @@ so that the packing-list is complete. .It Ar readmes Create an html description of packages, including comments, description, and dependencies. +.It Ar reconfigure +Force reconfigure of the port. .It Ar rebuild Force rebuild of the port. .It Ar regress