1 files changed, 5 insertions, 5 deletions
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