From 715568bdd4b2c746882555714d6ecb7831f0b006 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 30 Mar 2012 04:46:42 -0500
Subject: Minor changes to tools/proof

---
 tools/proof | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'tools/proof')

diff --git a/tools/proof b/tools/proof
index 9ed7734c..7eafd0ef 100755
--- a/tools/proof
+++ b/tools/proof
@@ -28,11 +28,10 @@ ledger_proof() {
         tee -a $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
+        mutt -a $LOGDIR/ledger-proof.log \
+             -s '[ledger] Proof build FAILED' johnw@newartisans.com <<EOF
 Ledger proof build FAILED, at commit $VERSION.
 EOF
-
         if [[ "$1" = "--alert" ]]; then
             notify "Ledger proof build FAILED"
         else
@@ -45,7 +44,7 @@ EOF
         cd $DEST/ledger-proof/debug; make docs
         cd $DEST/ledger-proof/gcov;  make report
 
-        cat <<EOF | mutt -s '[ledger] Proof build succeeded' johnw@newartisans.com
+        mutt -s '[ledger] Proof build succeeded' johnw@newartisans.com <<EOF
 Ledger proof build succeeded! at commit $VERSION.
 EOF
         echo "Ledger proof build succeeded"
-- 
cgit v1.2.3