Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 01 Sep 2017 08:06:26 +0000
From:      bugzilla-noreply@freebsd.org
To:        freebsd-ports-bugs@FreeBSD.org
Subject:   [Bug 221971] ports-mgmt/portlint: allow USE_GITHUB before USES
Message-ID:  <bug-221971-13@https.bugs.freebsd.org/bugzilla/>

next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D221971

            Bug ID: 221971
           Summary: ports-mgmt/portlint: allow USE_GITHUB before USES
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Many People
          Priority: ---
         Component: Individual Port(s)
          Assignee: marcus@FreeBSD.org
          Reporter: amdmi3@FreeBSD.org
             Flags: maintainer-feedback?(marcus@FreeBSD.org)
          Assignee: marcus@FreeBSD.org

Created attachment 185968
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=3D185968&action=
=3Dedit
Patch

While most USE_* vars are either additions or tweaks for USES, USE_GITHUB is
different as it belongs to fetch, and not configure/build phase, therefore =
it's
common to have USE_GITHUB/GH_* before USES knob. Allow this in portlint, an=
d do
not suggest something which would mix up natural "fetch-related stuff, then
build-related stuff" order.

--=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-221971-13>