Summary: | ports-mgmt/portlint: portlint ignores PORTSDIR in /etc/make.conf | ||
---|---|---|---|
Product: | Ports & Packages | Reporter: | Lorenzo Salvadore <salvadore> |
Component: | Individual Port(s) | Assignee: | Joe Marcus Clarke <marcus> |
Status: | Closed FIXED | ||
Severity: | Affects Only Me | Flags: | bugzilla:
maintainer-feedback?
(marcus) |
Priority: | --- | ||
Version: | Latest | ||
Hardware: | Any | ||
OS: | Any |
Description
Lorenzo Salvadore
2020-03-14 17:40:56 UTC
Committed to my repo pending the next release. Supported added in 2.19.0. |