diff options
Diffstat (limited to 'tools/proof')
| -rwxr-xr-x | tools/proof | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/tools/proof b/tools/proof index 037e0bf2..f37c1488 100755 --- a/tools/proof +++ b/tools/proof @@ -16,11 +16,15 @@ ledger_proof() { fi rm -fr $DEST/ledger-proof - time nice -n 20 \ - ./acprep --enable-doxygen --universal --python --clang -j16 proof 2>&1 | \ + ./acprep --debug --enable-doxygen --universal --clang -j16 proof 2>&1 | \ tee $LOGDIR/ledger-proof.log + rm -fr $DEST/ledger-proof + time nice -n 20 \ + ./acprep --debug --enable-doxygen --universal --python --clang -j16 proof 2>&1 | \ + tee -a $LOGDIR/ledger-proof.log + if egrep -q '(ERROR|CRITICAL)' $LOGDIR/ledger-proof.log; then cat <<EOF | mutt -a $LOGDIR/ledger-proof.log \ -s '[ledger] Proof build FAILED' johnw@newartisans.com |