[Bug 199417] ports-mgmt/portlint: A few changes

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=199417

            Bug ID: 199417
           Summary: ports-mgmt/portlint: A few changes
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: Individual Port(s)
          Assignee: marcus at FreeBSD.org
          Reporter: mat at FreeBSD.org
             Flags: maintainer-feedback?(marcus at FreeBSD.org)
          Assignee: marcus at FreeBSD.org

1) if you install to ${DOCSDIR} without .if ${PORT_OPTIONS:MDOCS} it tells you
it is bad.  It is not, it is the right way to do it, it should in fact tell you
the reverse, something along the lines of "you should only use the .if if the
installed tree is *large* and it takes time to copy the files"

2) check that people don't try to use ${ENV} when there in fact mean ${SETENV},
${ENV} is sometime set to some strange value in sh and it fails with a strange
error.

-- 
You are receiving this mail because:
You are the assignee for the bug.