[Bug 283049] ports-mgmt/portlint: make: exec(exit) failed (No such file or directory)

From: <bugzilla-noreply_at_freebsd.org>
Date: Sat, 30 Nov 2024 13:49:24 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=283049

            Bug ID: 283049
           Summary: ports-mgmt/portlint: make: exec(exit) failed (No such
                    file or directory)
           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: gerald@FreeBSD.org
             Flags: maintainer-feedback?(marcus@FreeBSD.org)
          Assignee: marcus@FreeBSD.org

Created attachment 255544
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=255544&action=edit
Sample Makefile (reduced from devel/raknet, beyond what I did for bugs #283046
and #283047))

Running portlint -C on the provided Makefile I noticed an error of

   make: exec(exit) failed (No such file or directory)

Between the testcase from bug #283047 the crucial difference appears
to be the removal of the line

  LICENSE_PERMS_SpecialAuth=    dist-mirror dist-sell pkg-mirror pkg-sell
auto-accept


(In case you are wondering, I ran into this and the previous issue 
working to create a smaller reproducer.)

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