1 files changed, 11 insertions, 0 deletions
diff --git a/tools/proof b/tools/proof
new file mode 100755
index 00000000..72104dfb
--- /dev/null
+++ b/tools/proof
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+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"