From 2f190ac7e0dfbf5e15e4e28642d9106e835eee31 Mon Sep 17 00:00:00 2001 From: drebs Date: Wed, 5 Jul 2017 11:43:46 -0300 Subject: [benchmarks] record start and end timestamp when benchmarking all commits --- scripts/benchmark/benchmark-all-commits.sh | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'scripts') diff --git a/scripts/benchmark/benchmark-all-commits.sh b/scripts/benchmark/benchmark-all-commits.sh index 086342bf..7de63e17 100755 --- a/scripts/benchmark/benchmark-all-commits.sh +++ b/scripts/benchmark/benchmark-all-commits.sh @@ -23,6 +23,8 @@ #rm -rf testing/.tox +echo "$(date -Iseconds) Starting a new run of ${0}..." >> results.txt + while /bin/true do @@ -67,3 +69,5 @@ do break fi done + +echo "$(date -Iseconds) Finished the run of ${0}..." >> results.txt -- cgit v1.2.3