diff options
| author | John Wiegley <johnw@newartisans.com> | 2012-02-24 03:23:04 -0600 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2012-02-24 03:23:04 -0600 |
| commit | 5a201971a9a1042a74ce2548a2de3c3e2afcf751 (patch) | |
| tree | 4f7abc6878255701d92460521a90ab487fa8ef18 /tools | |
| parent | f3e1c8ded03be3d6cdbb4819178e8b446c1b4798 (diff) | |
| download | fork-ledger-5a201971a9a1042a74ce2548a2de3c3e2afcf751.tar.gz fork-ledger-5a201971a9a1042a74ce2548a2de3c3e2afcf751.tar.bz2 fork-ledger-5a201971a9a1042a74ce2548a2de3c3e2afcf751.zip | |
Added e-mail notifications to tools/proof
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/proof | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/tools/proof b/tools/proof index b9038769..7c090292 100755 --- a/tools/proof +++ b/tools/proof @@ -22,6 +22,11 @@ ledger_proof() { tee $LOGDIR/ledger-proof.log if egrep -q '(ERROR|CRITICAL)' $LOGDIR/ledger-proof.log; then + cat <<EOF | mutt -a $LOGDIR/ledger-proof.log \ + -s '[ledger] Proof build FAILED' johnw@newartisans.com +Ledger proof build FAILED, at commit $VERSION. +EOF + if [[ "$1" = "--alert" ]]; then notify "Ledger proof build FAILED" else @@ -34,9 +39,15 @@ ledger_proof() { cd $DEST/ledger-proof/debug; make docs cd $DEST/ledger-proof/gcov; make report + cat <<EOF | mutt -a $LOGDIR/ledger-proof.log \ + -s '[ledger] Proof build succeeded' johnw@newartisans.com +Ledger proof build succeeded! at commit $VERSION. +EOF echo "Ledger proof build succeeded" fi } ledger_proof ${1:-$HOME/src/ledger} \ - ${2:-$HOME/Products} ${3:-$HOME/Library/Logs}
\ No newline at end of file + ${2:-$HOME/Products} ${3:-$HOME/Library/Logs} + +exit 0 |