From aa55e5ede28ae1c8bc672df7637f4a4a6d8c4c69 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Tue, 15 Jun 2010 07:37:25 -0400
Subject: Extended proof/push to upload tarballs/gcov

---
 tools/proof | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'tools/proof')

diff --git a/tools/proof b/tools/proof
index 755c3fe7..b020ec0b 100755
--- a/tools/proof
+++ b/tools/proof
@@ -14,8 +14,7 @@ fi
 
 rm -fr ~/Products/ledger-proof
 
-time ./acprep --enable-cache --enable-doxygen \
-    --universal -j16 --warn proof 2>&1 | \
+time ./acprep --enable-doxygen --universal -j16 --warn proof 2>&1 | \
     tee ~/Desktop/proof.log
 
 if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then
@@ -26,9 +25,13 @@ if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then
         exit 1
     fi
 else
-    echo "Ledger proof build succeeded"
     echo $VERSION > ~/Products/last-proofed
     mv ~/Desktop/proof.log /tmp
+
+    cd ~/Product/ledger-proof/debug; make docs
+    cd ~/Product/ledger-proof/gcov;  make report
+
+    echo "Ledger proof build succeeded"
 fi
 
 exit 0
-- 
cgit v1.2.3