From: Ben Pfaff Date: Sun, 9 Jan 2005 01:15:50 +0000 (+0000) Subject: Don't use ! in shell. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6e77241274ead3d937414d50d643ddcbb89d118d;p=pintos-anon Don't use ! in shell. --- 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