X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=Makefile;h=d1eab013e20772790f13a8fbd53e001e07c7a4fe;hb=a6707cab2ede5adc59479d16000cb938b386db36;hp=de9eb1a4fa2765689f8e6e5b5d4c204acdaefa2f;hpb=1c2b347fd2b3b1d9f78cc2a40160dfb2a23a9bd9;p=pintos-anon

diff --git a/Makefile b/Makefile
index de9eb1a..d1eab01 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-SUBDIRS = src grading doc
+SUBDIRS = src grading doc tests
 
 all::
 	@echo "This makefile has only 'clean' targets."
@@ -8,3 +8,6 @@ clean::
 
 distclean:: clean
 	find . -name '*~' -exec rm '{}' \;
+
+check::
+	make -C tests $@