Add makefiles for cleaning grades, top level.

[pintos-anon] / Makefile

diff --git a/Makefile b/Makefile
new file mode 100644 (file)
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 '{}' \;