X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=Makefile;h=fbc8f4ec8e372c5a224ad1698a03a625bbeeb271;hp=de9eb1a4fa2765689f8e6e5b5d4c204acdaefa2f;hb=21848a29ff6f6d52751bd91463be03b790f6e3e5;hpb=4aeb9609c112151614e95acc08e2a088a86fe8f4

diff --git a/Makefile b/Makefile
index de9eb1a..fbc8f4e 100644
--- a/Makefile
+++ b/Makefile
@@ -1,10 +1,13 @@
-SUBDIRS = src grading doc
+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 '{}' \;
+
+check::
+	$(MAKE) -C tests $@