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