X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Fbuild%2FMakefile;h=2452d5839bd36a63979ed0bff975589b6ed664ad;hb=d89e2b2a492fa57dce18d446d7107da16dbda324;hp=2c7ce69a47eb73c92becbb40ea137b2d2836463d;hpb=c9c17543190a867750965d39dc09787fff502d78;p=pintos-anon

diff --git a/src/filesys/build/Makefile b/src/filesys/build/Makefile
index 2c7ce69..2452d58 100644
--- a/src/filesys/build/Makefile
+++ b/src/filesys/build/Makefile
@@ -1,8 +1,10 @@
 TOP_SRCDIR = ../..
-DEFINES = -DFILESYS -DFILESYS_STUB
-SOURCES = $(THREADS_SRC) $(DEVICES_SRC) $(LIB_SRC) $(FILESYS_SRC)
+DEFINES = -DUSERPROG -DFILESYS
+SOURCES = $(THREADS_SRC) $(DEVICES_SRC) $(LIB_SRC) $(USERPROG_SRC) \
+	  $(FILESYS_SRC)
 INCLUDES = -I$(TOP_SRCDIR)/threads -I$(TOP_SRCDIR)/devices \
-	   -I$(TOP_SRCDIR)/lib -I$(TOP_SRCDIR)/filesys
+	   -I$(TOP_SRCDIR)/lib -I$(TOP_SRCDIR)/userprog \
+	   -I$(TOP_SRCDIR)/filesys
 
 include ../../Makefile.inc