REmove unwanted files.

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

diff --git a/src/userprog/build/Makefile b/src/userprog/build/Makefile
index 6c17a00f94358793dcaf475cb49b03ed98a71368..dd36a9d6320e88dc05d25b921c962107a732b2ea 100644 (file)
--- a/src/userprog/build/Makefile
+++ b/src/userprog/build/Makefile
@@ -1,5 +1,5 @@
 TOP_SRCDIR = ../..
-DEFINES = -DUSERPROG -DFILESYS -DFILESYS_STUB
+DEFINES = -DUSERPROG -DFILESYS
 SOURCES = $(THREADS_SRC) $(DEVICES_SRC) $(LIB_SRC) $(FILESYS_SRC) \
          $(USERPROG_SRC)
 INCLUDES = -I$(TOP_SRCDIR)/threads -I$(TOP_SRCDIR)/devices \