xref: /freebsd/stand/veriexec.mk (revision 2a9021898c4ee2154787da862c238cfeccd655df)