xref: /freebsd/stand/veriexec.mk (revision 9c1c02093b90ae49745a174eb26ea85dd1990eec)