diff options
Diffstat (limited to 'scripts')
| -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 |