From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 6 Sep 2004 05:28:24 +0000 (+0000)
Subject: Remove unwanted files.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=859a5d60ca3a5a78d88a7bfb69f9944a41535504

Remove unwanted files.
---

diff --git a/src/filesys/build/Makefile b/src/filesys/build/Makefile
deleted file mode 100644
index 2452d58..0000000
--- a/src/filesys/build/Makefile
+++ /dev/null
@@ -1,10 +0,0 @@
-TOP_SRCDIR = ../..
-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)/userprog \
-	   -I$(TOP_SRCDIR)/filesys
-
-include ../../Makefile.inc
-
diff --git a/src/threads/build/Makefile b/src/threads/build/Makefile
deleted file mode 100644
index 293a2df..0000000
--- a/src/threads/build/Makefile
+++ /dev/null
@@ -1,6 +0,0 @@
-TOP_SRCDIR = ../..
-SOURCES = $(THREADS_SRC) $(DEVICES_SRC) $(LIB_SRC)
-INCLUDES = -I$(TOP_SRCDIR)/threads -I$(TOP_SRCDIR)/devices -I$(TOP_SRCDIR)/lib
-
-include ../../Makefile.inc
-
diff --git a/src/userprog/build/Makefile b/src/userprog/build/Makefile
deleted file mode 100644
index dd36a9d..0000000
--- a/src/userprog/build/Makefile
+++ /dev/null
@@ -1,10 +0,0 @@
-TOP_SRCDIR = ../..
-DEFINES = -DUSERPROG -DFILESYS
-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
-