From 3497076e048f4aa9c4bea729d9a4070fe4dcfe66 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 31 Oct 2009 17:54:53 -0400
Subject: Capture error code correctly in tools/proof

---
 tools/proof | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'tools/proof')

diff --git a/tools/proof b/tools/proof
index 04afc097..0922d9e7 100755
--- a/tools/proof
+++ b/tools/proof
@@ -4,8 +4,10 @@ set -e
 
 rm -fr ~/Products/ledger*
 
-if ./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log; then
-    echo "Ledger proof build succeeded"
-else
+./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log
+
+if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then
     notify "Ledger proof build failed"
+else
+    echo "Ledger proof build succeeded"
 fi
-- 
cgit v1.2.3