From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 2 Jan 2005 01:37:40 +0000 (+0000)
Subject: Add makefiles for cleaning grades, top level.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=4aeb9609c112151614e95acc08e2a088a86fe8f4

Add makefiles for cleaning grades, top level.
---

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..de9eb1a
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,10 @@
+SUBDIRS = src grading doc
+
+all::
+	@echo "This makefile has only 'clean' targets."
+
+clean::
+	for d in $(SUBDIRS); do $(MAKE) -C $$d $@; done
+
+distclean:: clean
+	find . -name '*~' -exec rm '{}' \;
diff --git a/grading/Makefile b/grading/Makefile
new file mode 100644
index 0000000..4b6ea0b
--- /dev/null
+++ b/grading/Makefile
@@ -0,0 +1,11 @@
+SUBDIRS = userprog vm filesys
+
+all::
+	@echo "Run 'make' in subdirectories $(SUBDIRS)."
+	@echo "This makefile has only 'clean' targets."
+
+clean::
+	for d in $(SUBDIRS); do $(MAKE) -C $$d $@; done
+
+distclean:: clean
+	find . -name '*~' -exec rm '{}' \;