mirror of
https://git.FreeBSD.org/src.git
synced 2024-10-19 02:29:40 +00:00
023fc80ee3
Remove /^\s*#[#!]?\s*\$FreeBSD\$.*$\n/
Similar commit in main:
(cherry picked from commit d0b2dbfa0e)
20 lines
378 B
Makefile
20 lines
378 B
Makefile
|
|
PROG= veriexec
|
|
MAN= veriexec.8
|
|
SRCS= \
|
|
veriexec.c \
|
|
manifest_parser.y \
|
|
manifest_lexer.l
|
|
|
|
LIBADD+= veriexec secureboot bearssl
|
|
|
|
NO_SHARED=
|
|
|
|
.include <bsd.prog.mk>
|
|
|
|
CFLAGS+= -I${.CURDIR} ${XCFLAGS.${.TARGET:T:R}:U}
|
|
|
|
XCFLAGS.manifest_lexer+= -Wno-missing-variable-declarations \
|
|
-Wno-unneeded-internal-declaration
|
|
XCFLAGS.manifest_parser+= -Wno-missing-variable-declarations
|