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

diff --git a/tests/Makefile b/tests/Makefile
index b084e95..f7c8131 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -78,7 +78,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