diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-11-01 06:01:33 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-11-01 06:01:33 -0500 |
| commit | 10755df8ae9348ff0dab2d53b24794766128c484 (patch) | |
| tree | 2868db6d82702fbd80cba4860a0a4e6fbf25373b /tools/proof | |
| parent | 977e7db164cfe8572a5e0080746c34f5a7b1729e (diff) | |
| download | fork-ledger-10755df8ae9348ff0dab2d53b24794766128c484.tar.gz fork-ledger-10755df8ae9348ff0dab2d53b24794766128c484.tar.bz2 fork-ledger-10755df8ae9348ff0dab2d53b24794766128c484.zip | |
Added an --alert option to tools/proof
Diffstat (limited to 'tools/proof')
| -rwxr-xr-x | tools/proof | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/tools/proof b/tools/proof index 0922d9e7..7acc92fd 100755 --- a/tools/proof +++ b/tools/proof @@ -7,7 +7,14 @@ rm -fr ~/Products/ledger* ./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then - notify "Ledger proof build failed" + 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 |