diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-10-31 17:54:53 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-10-31 17:54:53 -0400 |
| commit | 3497076e048f4aa9c4bea729d9a4070fe4dcfe66 (patch) | |
| tree | 81ff2293f770a9f9c98373a369b2eea8566e9555 /tools/proof | |
| parent | ead642c7fa5ff48ac95c059bcf92ae32ffd19463 (diff) | |
| download | fork-ledger-3497076e048f4aa9c4bea729d9a4070fe4dcfe66.tar.gz fork-ledger-3497076e048f4aa9c4bea729d9a4070fe4dcfe66.tar.bz2 fork-ledger-3497076e048f4aa9c4bea729d9a4070fe4dcfe66.zip | |
Capture error code correctly in tools/proof
Diffstat (limited to 'tools/proof')
| -rwxr-xr-x | tools/proof | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/tools/proof b/tools/proof index 04afc097..0922d9e7 100755 --- a/tools/proof +++ b/tools/proof @@ -4,8 +4,10 @@ set -e rm -fr ~/Products/ledger* -if ./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log; then - echo "Ledger proof build succeeded" -else +./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log + +if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then notify "Ledger proof build failed" +else + echo "Ledger proof build succeeded" fi |