[src/trunk]: src/sys/conf - Coverity does not like -std=gnu99

[christos <christos%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/dfcc3cad9e8a
branches:  trunk
changeset: 358924:dfcc3cad9e8a
user:      christos <christos%NetBSD.org@localhost>
date:      Mon Jan 22 17:38:46 2018 +0000

description:
- 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.

diffstat:

 sys/conf/Makefile.kern.inc |  4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)

diffs (19 lines):

diff -r 2de55211bb1b -r dfcc3cad9e8a sys/conf/Makefile.kern.inc
--- a/sys/conf/Makefile.kern.inc        Mon Jan 22 17:34:01 2018 +0000
+++ b/sys/conf/Makefile.kern.inc        Mon Jan 22 17:38:46 2018 +0000
@@ -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 @@
 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