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. _______________________________________________ firstname.lastname@example.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to "freebsd-questions-unsubscr...@freebsd.org"