git: 66803b34a017 - main - Only require mac_veriexec for verified_exec

[Simon J. Gerraty]

The branch main has been updated by sjg:

URL: https://cgit.FreeBSD.org/src/commit/?id=66803b34a01777c772bd081b1429ea5742b0f0f7

commit 66803b34a01777c772bd081b1429ea5742b0f0f7
Author:     Simon J. Gerraty <sjg at FreeBSD.org>
AuthorDate: 2021-02-14 17:20:41 +0000
Commit:     Simon J. Gerraty <sjg at FreeBSD.org>
CommitDate: 2021-02-14 17:20:41 +0000

    Only require mac_veriexec for verified_exec
    
    The veriexec option is redundant, mac_veriexec is sufficient.
    
    MFC after: 1 week
    
    #
    #                                                         72 columns --|
    #
    # Uncomment and complete these metadata fields, as appropriate:
    #
    # PR:           <If and which Problem Report is related.>
    # Reported by:  <If someone else reported the issue.>
    # Reviewed by:  <If someone else reviewed your modification.>
    # Approved by:  <If you needed approval for this commit.>
    # Obtained from:        <If the change is from a third party.>
    # MFC after:    <N [day[s]|week[s]|month[s]].  Request a reminder email>
    # MFH:          <Ports tree branch name.  Request approval for merge.>
    # Relnotes:     <Set to 'yes' for mention in release notes.>
    # Security:     <Vulnerability reference (one per line) or description.>
    # Sponsored by: <If the change was sponsored by an organization.>
    # Pull Request: <https://github.com/freebsd/<repo>/pull/###>
    # Differential Revision:        <https://reviews.freebsd.org/D###>
    #
    # "Pull Request" and "Differential Revision" require the *full* GitHub or
    # Phabricator URL.  The commit author should be set appropriately, using
    # `git commit --author` if someone besides the committer sent in the change.
    #
    # Uncomment and complete these metadata fields, as appropriate:
    #
    # PR:
    # Reported by:  <If someone else reported the issue.>
    # Reviewed by:  <If someone else reviewed your modification.>
    # Approved by:  <If you needed approval for this commit.>
    # Obtained from:        <If the change is from a third party.>
    # MFC after:    <N [day[s]|week[s]|month[s]].  Request a reminder email>
    # MFH:          <Ports tree branch name.  Request approval for merge.>
    # Relnotes:     <Set to 'yes' for mention in release notes.>
    # Security:     <Vulnerability reference (one per line) or description.>
    # Sponsored by: <If the change was sponsored by an organization.>
    # Pull Request: <https://github.com/freebsd/<repo>/pull/###>
    # Differential Revision:        <https://reviews.freebsd.org/D###>
    #
    # "Pull Request" and "Differential Revision" require the *full* GitHub or
    # Phabricator URL.  The commit author should be set appropriately, using
    # `git commit --author` if someone besides the committer sent in the change.
    #
---
 sys/conf/files | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/conf/files b/sys/conf/files
index 1abfadb1e8d8..459fcddd693b 100644
--- a/sys/conf/files
+++ b/sys/conf/files
@@ -3450,7 +3450,7 @@ dev/videomode/videomode.c		optional videomode
 dev/videomode/edid.c			optional videomode
 dev/videomode/pickmode.c		optional videomode
 dev/videomode/vesagtf.c			optional videomode
-dev/veriexec/verified_exec.c	optional veriexec mac_veriexec
+dev/veriexec/verified_exec.c	optional mac_veriexec
 dev/vge/if_vge.c		optional vge
 dev/viapm/viapm.c		optional viapm pci
 dev/virtio/virtio.c			optional	virtio