From: Ben Pfaff Date: Wed, 19 Jan 2005 22:47:42 +0000 (+0000) Subject: Print a message if the default target is used. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8889319fb4af54a19a5c8bc93bec1ef13518e0ad;p=pintos-anon Print a message if the default target is used. --- diff --git a/tests/Makefile b/tests/Makefile index e6a9c98..af04b41 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