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