From 1061cba97f0a749ac55d80316328f7788c9564cd Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 2 Mar 2012 01:37:49 -0600
Subject: Use Clang to do proof builds

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

(limited to 'tools/proof')

diff --git a/tools/proof b/tools/proof
index 7c090292..c056fd3c 100755
--- a/tools/proof
+++ b/tools/proof
@@ -18,7 +18,7 @@ ledger_proof() {
     rm -fr $DEST/ledger-proof
 
     time nice -n 20 \
-        ./acprep  --enable-doxygen --universal -j16 --gcc46 --warn proof 2>&1 | \
+        ./acprep  --enable-doxygen --universal -j16 --clang proof 2>&1 | \
         tee $LOGDIR/ledger-proof.log
 
     if egrep -q '(ERROR|CRITICAL)' $LOGDIR/ledger-proof.log; then
-- 
cgit v1.2.3