diff options
| author | John Wiegley <johnw@newartisans.com> | 2012-03-02 02:00:26 -0600 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2012-03-02 02:00:26 -0600 |
| commit | 38c6953e105247f2ebd43e1039e48edec8bf1ecc (patch) | |
| tree | 2b71db3d71119ad9c45f081488be8c2abf3ea601 /tools | |
| parent | a47653d24ca02ca41fbcf4d256cd94fcc2064547 (diff) | |
| download | fork-ledger-38c6953e105247f2ebd43e1039e48edec8bf1ecc.tar.gz fork-ledger-38c6953e105247f2ebd43e1039e48edec8bf1ecc.tar.bz2 fork-ledger-38c6953e105247f2ebd43e1039e48edec8bf1ecc.zip | |
Proof both the Python and non-Python variants
Diffstat (limited to 'tools')
| -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 |