tools/proof


1
2
3
4
5
6
7
8
9
10
11

#!/bin/sh

set -e

rm -fr ~/Products/ledger*

if ./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log; then
    echo "Ledger proof build succeeded"
else
    notify "Ledger proof build failed"
fi