summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/proof2
1 files changed, 1 insertions, 1 deletions
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