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