X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.build;fp=src%2FMakefile.build;h=d6e5b4b2ab929b165524efe3e4811c310816b026;hb=ee87ee08ebb35df6c3f8e4b6f5c066bed072936c;hp=2e1d6e93a255ba52a2d2f4efb4ce1cd79bf2335a;hpb=c146dcf5f0ee9bcb1b44bfecacb919c0fa179e15;p=pintos-anon

diff --git a/src/Makefile.build b/src/Makefile.build
index 2e1d6e9..d6e5b4b 100644
--- 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.