Module Name: src
Committed By: christos
Date: Mon Jan 22 17:38:46 UTC 2018
Modified Files:
src/sys/conf: Makefile.kern.inc
Log Message:
- Coverity does not like -std=gnu99
- Another lose is that you need to manually edit the compiler XML to add
all the kernel options because cov-configure barfs because it tries to
test the compilation environment thinking that we are userland even
when options like -ffreestanding are present.
To generate a diff of this commit:
cvs rdiff -u -r1.261 -r1.262 src/sys/conf/Makefile.kern.inc
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/sys/conf/Makefile.kern.inc
diff -u src/sys/conf/Makefile.kern.inc:1.261 src/sys/conf/Makefile.kern.inc:1.262
--- src/sys/conf/Makefile.kern.inc:1.261 Mon Dec 4 04:44:33 2017
+++ src/sys/conf/Makefile.kern.inc Mon Jan 22 12:38:46 2018
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile.kern.inc,v 1.261 2017/12/04 09:44:33 martin Exp $
+# $NetBSD: Makefile.kern.inc,v 1.262 2018/01/22 17:38:46 christos Exp $
#
# This file contains common `MI' targets and definitions and it is included
# at the bottom of each `MD' ${MACHINE}/conf/Makefile.${MACHINE}.
@@ -63,7 +63,9 @@ S!= cd ../../../.. && pwd
INCLUDES?= -I. ${EXTRA_INCLUDES} -I${S}/../common/include -I$S/arch \
-I$S -nostdinc
CPPFLAGS+= ${INCLUDES} ${IDENT} -D_KERNEL -D_KERNEL_OPT
+.if !defined(COVERITY_TOP_CONFIG)
CPPFLAGS+= -std=gnu99
+.endif
DEFCOPTS?= -O2
COPTS?= ${DEFCOPTS}
DBG= # might contain unwanted -Ofoo
