diff options
| author | Eric van Gyzen <vangyzen@FreeBSD.org> | 2021-04-30 17:53:45 +0000 |
|---|---|---|
| committer | Eric van Gyzen <vangyzen@FreeBSD.org> | 2021-04-30 17:53:45 +0000 |
| commit | eda28feb2e070e21db3d50b3fc177f88380b8fb4 (patch) | |
| tree | fa9b1cf843d5ff1611b0ae7c4b9a2b1b982b426e /stand/efi/fdt | |
| parent | 619fe095861274576a2cb45628076968051b1585 (diff) | |
| download | src-eda28feb2e070e21db3d50b3fc177f88380b8fb4.tar.gz src-eda28feb2e070e21db3d50b3fc177f88380b8fb4.zip | |
Diffstat (limited to 'stand/efi/fdt')
| -rw-r--r-- | stand/efi/fdt/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stand/efi/fdt/Makefile b/stand/efi/fdt/Makefile index 8166f481dc99..7f69ce1b3f11 100644 --- a/stand/efi/fdt/Makefile +++ b/stand/efi/fdt/Makefile @@ -9,6 +9,8 @@ WARNS?= 6 SRCS= efi_fdt.c +.include "${BOOTSRC}/veriexec.mk" + # EFI library headers CFLAGS+= -I${EFISRC}/include CFLAGS+= -I${EFISRC}/include/${MACHINE} |