13 lines
175 B
Makefile
13 lines
175 B
Makefile
|
# $FreeBSD$
|
||
|
|
||
|
.PATH: ${.PARSEDIR:H:H}/dev/veriexec
|
||
|
|
||
|
.include <bsd.own.mk>
|
||
|
|
||
|
KMOD= veriexec
|
||
|
SRCS= verified_exec.c
|
||
|
SRCS+= bus_if.h device_if.h vnode_if.h
|
||
|
|
||
|
.include <bsd.kmod.mk>
|
||
|
|