xref: /freebsd/stand/veriexec.mk (revision 0333fad1b7e042eea0fe8348c6fde8ee55538d63)