X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;h=f813f7de92a1206dfbd157e4a8690e563df92df7;hb=0b03e95ba4a5ca2c936a98d77caee8f6f4087529;hp=b084e95bae2e72ef954c763a4ae968701472f100;hpb=94e2e63b24a901da641f5c68cf46ce00681f5dd1;p=pintos-anon

diff --git a/tests/Makefile b/tests/Makefile
index b084e95..f813f7d 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,5 +1,10 @@
 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
@@ -78,7 +83,7 @@ list stdlib::
 	cp ../src/tests/threads/$@.c $@/pintos/src/threads/test.c
 	$(MAKE) -C $@/pintos/src/threads -s
 	-(cd $@/pintos/src/threads/build && pintos -v run -q) | tee $@/output
-	grep -q '$@: PASS' $@/output && ! grep -q 'FAIL' $@/output
+	grep -q '$@: PASS' $@/output
 	$(clean)
 
 userprog: PROJECT = userprog