X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=2c374e72bf33b40f32c6476d6b5013a6258910db;hb=eae29259cd81d3d2e1426eb9a3f9c47eb06d0a88;hp=d1eab013e20772790f13a8fbd53e001e07c7a4fe;hpb=94e2e63b24a901da641f5c68cf46ce00681f5dd1;p=pintos-anon

diff --git a/Makefile b/Makefile
index d1eab01..2c374e7 100644
--- a/Makefile
+++ b/Makefile
@@ -1,10 +1,10 @@
-SUBDIRS = src grading doc tests
+CLEAN_SUBDIRS = src doc tests
 
 all::
-	@echo "This makefile has only 'clean' targets."
+	@echo "This makefile has only 'clean' and 'check' targets."
 
 clean::
-	for d in $(SUBDIRS); do $(MAKE) -C $$d $@; done
+	for d in $(CLEAN_SUBDIRS); do $(MAKE) -C $$d $@; done
 
 distclean:: clean
 	find . -name '*~' -exec rm '{}' \;