xref: /freebsd/sbin/veriexec/Makefile (revision abd872540f24cfc7dbd1ea29b6918c7082a22108)