From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 31 Aug 2004 01:02:34 +0000 (+0000)
Subject: No FILESYS_STUB anymore.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=95c2632a658d41912f04cf00ee026ac617aea915

No FILESYS_STUB anymore.
---

diff --git a/src/userprog/build/Makefile b/src/userprog/build/Makefile
index 6c17a00..dd36a9d 100644
--- 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 \