diff options
author | drebs <drebs@leap.se> | 2017-07-05 11:43:46 -0300 |
---|---|---|
committer | Kali Kaneko <kali@leap.se> | 2017-07-07 21:25:20 +0200 |
commit | 2f190ac7e0dfbf5e15e4e28642d9106e835eee31 (patch) | |
tree | c6a6ef81e8304cef018af092752eab5789504fce /scripts/benchmark/benchmark-all-commits.sh | |
parent | cf6e62b1170bb3ad1090ab04817718508147ca9e (diff) |
[benchmarks] record start and end timestamp when benchmarking all commits
Diffstat (limited to 'scripts/benchmark/benchmark-all-commits.sh')
-rwxr-xr-x | scripts/benchmark/benchmark-all-commits.sh | 4 |
1 files changed, 4 insertions, 0 deletions
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 |