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