xref: /freebsd/stand/veriexec.mk (revision 774bb1c256fbc58a7e8d0d1f7d6427007105b334)