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
