summaryrefslogtreecommitdiff
path: root/tools/proof
blob: 7acc92fd0c7168592b28c3d76f751ba78af351bc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#!/bin/sh

set -e

rm -fr ~/Products/ledger*

./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log

if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then
    if [ "$1" = "--alert" ]; then
	notify "Ledger proof build FAILED"
    else
	echo "Ledger proof build FAILED"
	exit 1
    fi
else
    echo "Ledger proof build succeeded"
fi

exit 0