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

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