xref: /freebsd/sbin/veriexec/Makefile (revision 2e3507c25e42292b45a5482e116d278f5515d04d)