From 489de491b265d31fa2762bcdcccf6c1ffd81e94a Mon Sep 17 00:00:00 2001 From: Victor Seva Date: Thu, 8 Aug 2013 10:54:10 +0200 Subject: [PATCH] bench.sh: Added time info --- bench.sh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/bench.sh b/bench.sh index 42e5031d..1e46421f 100755 --- a/bench.sh +++ b/bench.sh @@ -2,18 +2,19 @@ NUM=${1:-20} # clean previous rm -rf log_* result_* +echo "$(date) - Starting $NUM tests" for i in $(seq $NUM); do BASE_DIR=$(pwd) ./run_tests.sh -c &> /tmp/run_tests.log if [[ $? -ne 0 ]]; then - echo "ERROR run_tests $i" + echo "$(date) - ERROR run_tests $i" break fi BASE_DIR=$(pwd) ./get_results.sh &> /tmp/get_results.log if [[ $? -ne 0 ]]; then - echo "ERROR get_results $i" + echo "$(date) - ERROR get_results $i" break fi - echo "$i done ok" + echo "$(date) - $i done ok" # keep everything mv log log_$i mv result result_$i