From 9cbc9705582aaebd051d53ca4ead1793d9f59211 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 31 Oct 2009 06:03:26 -0400
Subject: Improvements to tools/proof

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

(limited to 'tools/proof')

diff --git a/tools/proof b/tools/proof
index 72104dfb..04afc097 100755
--- a/tools/proof
+++ b/tools/proof
@@ -2,10 +2,10 @@
 
 set -e
 
-git stash
-git checkout master
-
 rm -fr ~/Products/ledger*
 
-(./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log) \
-    || notify "Ledger proof build failed"
+if ./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log; then
+    echo "Ledger proof build succeeded"
+else
+    notify "Ledger proof build failed"
+fi
-- 
cgit v1.2.3