diff options
| author | John Wiegley <johnw@newartisans.com> | 2012-03-19 22:28:35 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2012-03-19 22:28:35 -0500 |
| commit | df11ecbbd733068284a19369949bcaa20b0e6e76 (patch) | |
| tree | bfcca18dced2d2b002c9c08e1d4da39769cfad7a /tools | |
| parent | 79ecbf0c176215349efa458dadffa770c3decebc (diff) | |
| download | fork-ledger-df11ecbbd733068284a19369949bcaa20b0e6e76.tar.gz fork-ledger-df11ecbbd733068284a19369949bcaa20b0e6e76.tar.bz2 fork-ledger-df11ecbbd733068284a19369949bcaa20b0e6e76.zip | |
Output date to proof log
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/proof | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/proof b/tools/proof index a0dab6cb..9ed7734c 100755 --- a/tools/proof +++ b/tools/proof @@ -16,9 +16,11 @@ ledger_proof() { fi sudo rm -fr $DEST/ledger-proof + date > $LOGDIR/ledger-proof.log + time nice -n 20 \ ./acprep --debug --enable-doxygen --universal --clang -j16 proof 2>&1 | \ - tee $LOGDIR/ledger-proof.log + tee -a $LOGDIR/ledger-proof.log sudo rm -fr $DEST/ledger-proof time nice -n 20 \ |