xref: /freebsd/stand/veriexec.mk (revision be04fec42638f30f50b5b55fd8e3634c0fb89928)