xref: /freebsd/stand/veriexec.mk (revision 0cade55660917ecb3aff7a904759e1eb46772dab)