xref: /freebsd/stand/veriexec.mk (revision 3c4ba5f55438f7afd4f4b0b56f88f2bb505fd6a6)