From 6e77241274ead3d937414d50d643ddcbb89d118d Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 9 Jan 2005 01:15:50 +0000
Subject: [PATCH] Don't use ! in shell.

---
 tests/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.30.2