xref: /freebsd/stand/veriexec.mk (revision 8c2dd68caa963f1900a8228b0732b04f5d530ffa)