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

[pintos-anon] / src / Makefile.userprog

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