X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;h=4bdd5977703616563a802edd382f0f7f9667764d;hb=601d95be13aa18bfdea51930f86cccdde1c01f5e;hp=f7c813184e6a1eddbbeb146f343ae674f207db31;hpb=7f022bbe1d53e8416a05f0f9e5b4cdd9b19f7806;p=pintos-anon

diff --git a/tests/Makefile b/tests/Makefile
index f7c8131..4bdd597 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,7 +1,15 @@
 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
+	$(MAKE) check-noclean
+
+check-noclean:
 	for d in $(TESTS); do $(MAKE) $$d || exit 1; done
 	@echo All tests passed.