From 38c6953e105247f2ebd43e1039e48edec8bf1ecc Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 2 Mar 2012 02:00:26 -0600
Subject: Proof both the Python and non-Python variants

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

(limited to 'tools')

diff --git a/tools/proof b/tools/proof
index 037e0bf2..f37c1488 100755
--- a/tools/proof
+++ b/tools/proof
@@ -16,11 +16,15 @@ ledger_proof() {
     fi
 
     rm -fr $DEST/ledger-proof
-
     time nice -n 20 \
-        ./acprep --enable-doxygen --universal --python --clang -j16 proof 2>&1 | \
+        ./acprep --debug --enable-doxygen --universal --clang -j16 proof 2>&1 | \
         tee $LOGDIR/ledger-proof.log
 
+    rm -fr $DEST/ledger-proof
+    time nice -n 20 \
+        ./acprep --debug --enable-doxygen --universal --python --clang -j16 proof 2>&1 | \
+        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
-- 
cgit v1.2.3