Date: Fri, 17 Jul 2015 12:24:58 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 201647] ports-mgmt/portlint: A few changes Message-ID: <bug-201647-13@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=201647 Bug ID: 201647 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@FreeBSD.org Reporter: mat@FreeBSD.org Assignee: marcus@FreeBSD.org Flags: maintainer-feedback?(marcus@FreeBSD.org) In r383894, there was a warning added about running "make makepatch" so now, everyone runs make makepatch even though the patches have not changed creating unneeded churn. I don't know exactly how it should be worded differently, maybe adding a bit about only running it if the patch actually change, or something. -- 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-201647-13>