From c65f98fadce5b1de3722fcd2291f5c7f92e1555b Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Mon, 28 Mar 2011 01:52:09 -0400
Subject: Use g++ 4.6 by default locally

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

(limited to 'tools')

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