From 6ceda8320fcd81376c3b8a8bc81e48b9e87f1926 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Wed, 2 Jun 2010 18:41:57 -0400
Subject: Added acprep option --universal, now off by default

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

(limited to 'tools')

diff --git a/tools/proof b/tools/proof
index c41745b6..5a329a50 100755
--- a/tools/proof
+++ b/tools/proof
@@ -14,7 +14,8 @@ fi
 
 rm -fr ~/Products/ledger*
 
-time ./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log
+time ./acprep --universal -j16 --warn proof 2>&1 | \
+    tee ~/Desktop/proof.log
 
 if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then
     if [[ "$1" = "--alert" ]]; then
-- 
cgit v1.2.3