Remove unwanted files.

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

diff --git a/src/threads/build/Makefile b/src/threads/build/Makefile
deleted file mode 100644 (file)
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
-