Detect GCC 3.x versus 4.x and use -I- or -isystem, respectively, to

[pintos-anon] / src / Makefile.build

diff --git a/src/Makefile.build b/src/Makefile.build
index cf0f9b6f152891323df145b820dfc9bfc414e544..2e1d6e93a255ba52a2d2f4efb4ce1cd79bf2335a 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: CPPFLAGS += -I$(SRCDIR)/lib/kernel
+os.dsk: SYSINCDIRS += $(SRCDIR)/lib/kernel
 
 # Core kernel.
 threads_SRC  = threads/init.c          # Main program.