Synopsis: [PATCH] bsd.port.mk: enhanced OPTIONS handling Responsible-Changed-From-To: freebsd-ports-bugs->portmgr Responsible-Changed-By: eik Responsible-Changed-When: Wed Jan 21 21:30:59 CET 2004 Responsible-Changed-Why: portmanager business http://www.freebsd.org/cgi/query-pr.cgi?pr=61683