summaryrefslogtreecommitdiff
path: root/tools/proof
diff options
context:
space:
mode:
Diffstat (limited to 'tools/proof')
-rwxr-xr-xtools/proof5
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/proof b/tools/proof
index 3becb1c9..284f4e85 100755
--- a/tools/proof
+++ b/tools/proof
@@ -14,8 +14,11 @@ fi
rm -fr ~/Products/ledger-proof
+#time nice -n 20 \
+# ./acprep --enable-doxygen --universal -j16 --gcc46 --warn proof 2>&1 | \
+# tee ~/Desktop/proof.log
time nice -n 20 \
- ./acprep --enable-doxygen --universal -j16 --gcc45 --warn proof 2>&1 | \
+ ./acprep --universal -j16 --gcc46 --warn proof 2>&1 | \
tee ~/Desktop/proof.log
if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then