Turns out GCC 3.x support -isystem also, they just don't document it.

[pintos-anon] / src / Makefile.build

diff --git a/src/Makefile.build b/src/Makefile.build
index 2e1d6e93a255ba52a2d2f4efb4ce1cd79bf2335a..d6e5b4b2ab929b165524efe3e4811c310816b026 100644 (file)
--- a/src/Makefile.build
+++ b/src/Makefile.build
@@ -9,7 +9,7 @@ include ../Make.vars
 include ../../tests/Make.tests
 
 # Compiler and assembler options.
-os.dsk: SYSINCDIRS += $(SRCDIR)/lib/kernel
+os.dsk: CPPFLAGS += -isystem $(SRCDIR)/lib/kernel
 
 # Core kernel.
 threads_SRC  = threads/init.c          # Main program.