From: Ben Pfaff <blp@cs.stanford.edu>
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?p=pintos-anon;a=commitdiff_plain;h=5a121c17dc3088074ff51b99dbe353b25e7adff1

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