From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 30 Aug 2004 17:48:16 +0000 (+0000)
Subject: Initial version.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=253866a00ca879895a5ca444b5a9b3387b2187e1;p=pintos-anon

Initial version.
---

diff --git a/src/userprog/build/Makefile b/src/userprog/build/Makefile
new file mode 100644
index 0000000..6c17a00
--- /dev/null
+++ b/src/userprog/build/Makefile
@@ -0,0 +1,10 @@
+TOP_SRCDIR = ../..
+DEFINES = -DUSERPROG -DFILESYS -DFILESYS_STUB
+SOURCES = $(THREADS_SRC) $(DEVICES_SRC) $(LIB_SRC) $(FILESYS_SRC) \
+	  $(USERPROG_SRC)
+INCLUDES = -I$(TOP_SRCDIR)/threads -I$(TOP_SRCDIR)/devices \
+	   -I$(TOP_SRCDIR)/lib -I$(TOP_SRCDIR)/filesys \
+	    -I$(TOP_SRCDIR)/userprog
+
+include ../../Makefile.inc
+