xref: /freebsd/stand/veriexec.mk (revision 105fd928b0b5b35ab529e5f6914788dc49582901)