xref: /freebsd/stand/veriexec.mk (revision 52d973f52c07b94909a6487be373c269988dc151)