On Mon,  9 Nov 2009 21:58:16 +0100, "Len Conrad" <lcon...@go2france.com> wrote:
> subsequent "make configure" simply uses the original menu choices with
> no re-display of the menu to change the options

There is a subtle but important difference between 'make config' and
'make configure' for ports:

  * 'make configure' runs any autoconf scripts included in the port.

  * 'make config', on the other hand, launches the port menu.

So you can re-configure a port by typing 'make config'.  This will load
any options from the /var/db/ports/PORTNAME/options file, launch the
menu you are looking for, and save the new options when you are done.

freebsd-questions@freebsd.org mailing list
To unsubscribe, send any mail to "freebsd-questions-unsubscr...@freebsd.org"

Reply via email to