diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-11-01 06:10:49 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-11-01 06:10:49 -0500 |
| commit | 0cb80a51ea2d64e2069d6ef9d3a42a0996b73c88 (patch) | |
| tree | 8ec5023a9a5b949f7732e72490283f5d97620f2e /tools | |
| parent | cebc9f6e8649bcd5ff5f79aa479cf0d90562c18b (diff) | |
| parent | 502fc9bda2b7ba5f7a3fbc5c944a6a93c3b97243 (diff) | |
| download | fork-ledger-0cb80a51ea2d64e2069d6ef9d3a42a0996b73c88.tar.gz fork-ledger-0cb80a51ea2d64e2069d6ef9d3a42a0996b73c88.tar.bz2 fork-ledger-0cb80a51ea2d64e2069d6ef9d3a42a0996b73c88.zip | |
Merge branch 'next'
Diffstat (limited to 'tools')
| -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 |