xref: /freebsd/stand/veriexec.mk (revision 7ef62cebc2f965b0f640263e179276928885e33d)