From 75603edeb4853b1e563f525bcc3482609853a975 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Tue, 6 Mar 2012 23:04:43 -0600
Subject: Send myself e-mail after a successful proof build

---
 tools/proof | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'tools')

diff --git a/tools/proof b/tools/proof
index 3b997143..a0dab6cb 100755
--- a/tools/proof
+++ b/tools/proof
@@ -43,15 +43,13 @@ EOF
         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
+        cat <<EOF | mutt -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}
+ledger_proof ${1:-$HOME/src/ledger} ${2:-$HOME/Products} ${3:-$HOME/Library/Logs}
 
 exit 0
-- 
cgit v1.2.3