From 5a201971a9a1042a74ce2548a2de3c3e2afcf751 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 24 Feb 2012 03:23:04 -0600
Subject: Added e-mail notifications to tools/proof

---
 tools/proof | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'tools')

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
-- 
cgit v1.2.3