projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3d0a63d)
No FILESYS_STUB anymore.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 31 Aug 2004 01:02:34 +0000 (01:02 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 31 Aug 2004 01:02:34 +0000 (01:02 +0000)
src/userprog/build/Makefile patch | blob | history

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 \
Pintos public repository