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