From df11ecbbd733068284a19369949bcaa20b0e6e76 Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Mon, 19 Mar 2012 22:28:35 -0500 Subject: Output date to proof log --- tools/proof | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'tools') 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 \ -- cgit v1.2.3