Date: Wed, 19 Sep 2018 15:07:13 +0000 From: bugzilla-noreply@freebsd.org To: ports-bugs@FreeBSD.org Subject: [Bug 231482] ports-mgmt/portlint: Please complain about DOCS in OPTIONS_DEFAULT Message-ID: <bug-231482-7788@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D231482 Bug ID: 231482 Summary: ports-mgmt/portlint: Please complain about DOCS in OPTIONS_DEFAULT Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Keywords: feature, needs-patch Severity: Affects Only Me Priority: --- Component: Individual Port(s) Assignee: marcus@FreeBSD.org Reporter: 0mp@FreeBSD.org CC: mat@FreeBSD.org Assignee: marcus@FreeBSD.org Flags: maintainer-feedback?(marcus@FreeBSD.org) As per mat@'s comment[1]: > OPTIONS_DEFAULT=3D DOCS >> This is not required, DOCS is always added to OPTIONS_DEFAULT. It would be nice if portlint complained about adding DOCS to OPTIONS_DEFAUL= T. [1]: https://reviews.freebsd.org/D16339#366424 ---- (Although personally I'd prefer all the OPTIONS_DEFAULT to be explicitly listed. I'm not sure if I'm a fan of DOCS (and potentially others) being al= ways added to OPTIONS_DEFAULT by default. I find it non-intuitive.) --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-231482-7788>