xref: /freebsd/stand/veriexec.mk (revision 66df505066f51e6d8411b966765d828817f88971)