Synopsis: misc/tinderbox: Fix OPTIONS check; portlint(1) Responsible-Changed-From-To: freebsd-ports-bugs->itetcu Responsible-Changed-By: edwin Responsible-Changed-When: Wed May 17 23:24:11 UTC 2006 Responsible-Changed-Why: itetcu@ wants to have these http://www.freebsd.org/cgi/query-pr.cgi?pr=97433