2 files changed, 0 insertions, 8 deletions

diff --git a/pintos-progos/intro/Make.vars b/pintos-progos/intro/Make.vars
deleted file mode 100644
index c612275..0000000
--- a/pintos-progos/intro/Make.vars
+++ /dev/null
@@ -1,7 +0,0 @@
-# -*- makefile -*-
-
-kernel.bin: DEFINES = -DUSERPROG -DFILESYS
-KERNEL_SUBDIRS = threads devices lib lib/kernel userprog filesys $(KERNEL_TESTS)
-KERNEL_TESTS   = tests/intro/alarm-clock
-TEST_SUBDIRS = tests/intro/alarm-clock tests/intro/userprog-args
-GRADING_FILE = $(SRCDIR)/tests/intro/Grading
diff --git a/pintos-progos/intro/Makefile b/pintos-progos/intro/Makefile
deleted file mode 100644
index 34c10aa..0000000
--- a/pintos-progos/intro/Makefile
+++ /dev/null
@@ -1 +0,0 @@
-include ../Makefile.kernel