From d6790072eff9cb2a938ee9ed204263ee277a6874 Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Mon, 2 Nov 2009 17:34:59 -0500 Subject: Wrap the call to acprep proof in a call to "time" --- tools/proof | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/proof') diff --git a/tools/proof b/tools/proof index ede22558..7c5a16f2 100755 --- a/tools/proof +++ b/tools/proof @@ -14,7 +14,7 @@ fi rm -fr ~/Products/ledger* -./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log +time ./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then if [[ "$1" = "--alert" ]]; then -- cgit v1.2.3