xref: /freebsd/stand/veriexec.mk (revision b64c5a0ace59af62eff52bfe110a521dc73c937b)