X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;h=f813f7de92a1206dfbd157e4a8690e563df92df7;hb=488f5bbd1f2728eb617da02cc02a765be3020630;hp=e6a9c98b4f13c7fe73946825afc5ac20d71d70ad;hpb=8176d4bd89c45d3b18a3240728ec650d822ab835;p=pintos-anon

diff --git a/tests/Makefile b/tests/Makefile
index e6a9c98..f813f7d 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -2,6 +2,9 @@ TESTS = threads p1-1 p1-2 p1-3 list stdlib userprog p2 vm filesys
 
 PATH := $(shell pwd)/../src/utils:$(PATH)
 
+all:
+	@echo "This Makefile has only \`check' targets."
+
 check:
 	$(MAKE) -C .. distclean
 	for d in $(TESTS); do $(MAKE) $$d || exit 1; done