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

diff --git a/src/Makefile.userprog b/src/Makefile.userprog
index 72e35ce..dddb1aa 100644
--- a/src/Makefile.userprog
+++ b/src/Makefile.userprog
@@ -2,7 +2,7 @@
 
 include $(SRCDIR)/Make.config
 
-$(PROGS): CPPFLAGS += -I$(SRCDIR)/lib/user -I.
+$(PROGS): SYSINCDIRS += $(SRCDIR)/lib/user
 
 # Linker flags.
 $(PROGS): LDFLAGS = -nostdlib -static -Wl,-T,$(LDSCRIPT)