Check system headers for warnings for userspace
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 19 Oct 2015 15:34:35 +0000 (11:34 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 28 Oct 2015 16:05:12 +0000 (12:05 -0400)
-Wsystem-headers checks the headers for warnings.  The lack of this flag
was masking a minor bug with TAILQs.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
Makefile

index 7621e3c..27eb77a 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -367,7 +367,8 @@ export CFLAGS_KERNEL AFLAGS_KERNEL
 export NOSTDINC_FLAGS XCC_TARGET_ROOT XCC_TARGET_LIB XCC_TARGET_INCLUDE
 export KBUILD_BUILTIN KBUILD_CHECKSRC
 
-CFLAGS_USER += -O2 -std=gnu99 -fno-stack-protector -fgnu89-inline
+CFLAGS_USER += -O2 -std=gnu99 -fno-stack-protector -fgnu89-inline \
+               -Wsystem-headers
 CXXFLAGS_USER += -O2
 CFLAGS_USER_LIBS += -fPIC -static -fno-omit-frame-pointer -g