From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 21 Jun 2005 05:51:10 +0000 (+0000)
Subject: Check that `grade' reports are perfect.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=34b46cec05a4a9c2ce8a22274212d36502bd43e0;p=pintos-anon

Check that `grade' reports are perfect.
---

diff --git a/tests/Makefile b/tests/Makefile
index feb01f5..ce0399b 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -25,7 +25,8 @@ cd $@/src/$(PROJECT) && $(MAKE) check
 endef
 
 define run-tests-grade
-cd $@/src/$(PROJECT) && $(MAKE) check && make grade
+cd $@/src/$(PROJECT) && $(MAKE) check
+cd $@/src/$(PROJECT) && $(MAKE) grade && grep -q PERFECT build/grade
 endef
 
 define compile