Beginnings of userspace.

[pintos-anon] / src / filesys / build / Makefile

diff --git a/src/filesys/build/Makefile b/src/filesys/build/Makefile
index 2c7ce69a47eb73c92becbb40ea137b2d2836463d..2452d5839bd36a63979ed0bff975589b6ed664ad 100644 (file)
--- 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