diff options
Diffstat (limited to 'tools/proof')
| -rwxr-xr-x | tools/proof | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/tools/proof b/tools/proof index 04afc097..7acc92fd 100755 --- a/tools/proof +++ b/tools/proof @@ -4,8 +4,17 @@ set -e rm -fr ~/Products/ledger* -if ./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log; then - echo "Ledger proof build succeeded" +./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 - notify "Ledger proof build failed" + echo "Ledger proof build succeeded" fi + +exit 0 |