X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.userprog;h=870aae4b95f56bae532e8ab075c2e503d4ce4b71;hb=d07d499dd6655d15b274bb7713138dc9641a1fdb;hp=72e35ce7ee92a285e4d1b6562318247bda427754;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/Makefile.userprog b/src/Makefile.userprog
index 72e35ce..870aae4 100644
--- a/src/Makefile.userprog
+++ b/src/Makefile.userprog
@@ -1,7 +1,5 @@
 # -*- makefile -*-
 
-include $(SRCDIR)/Make.config
-
 $(PROGS): CPPFLAGS += -I$(SRCDIR)/lib/user -I.
 
 # Linker flags.