From 7e118f4ad0a88f2eaaaced5becb6360530e9be9a Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 12 Jun 2010 00:50:53 -0400
Subject: Added --enable-cache, --enable-doxygen to acprep

---
 tools/proof | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'tools/proof')

diff --git a/tools/proof b/tools/proof
index 7e345234..daebc68c 100755
--- a/tools/proof
+++ b/tools/proof
@@ -14,7 +14,8 @@ fi
 
 rm -fr ~/Products/ledger*
 
-time ./acprep --universal -j16 --warn proof 2>&1 | \
+time ./acprep --enable-cache --enable-doxygen \
+    --universal -j16 --warn proof 2>&1 | \
     tee ~/Desktop/proof.log
 
 if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then
-- 
cgit v1.2.3