Junxiao Shi | 439d972 | 2015-03-20 15:08:44 -0700 | [diff] [blame] | 1 | #!/usr/bin/env bash |
| 2 | set -e |
| 3 | |
Davide Pesavento | a1a9d70 | 2020-03-29 00:58:15 -0400 | [diff] [blame^] | 4 | export WAF_JOBS=${WAF_JOBS:-1} |
| 5 | |
Davide Pesavento | cbef7b8 | 2019-10-09 00:15:13 -0400 | [diff] [blame] | 6 | nanos() { |
| 7 | # Cannot use date(1) because macOS does not support %N format specifier |
Davide Pesavento | a1a9d70 | 2020-03-29 00:58:15 -0400 | [diff] [blame^] | 8 | python3 -c 'import time; print(int(time.time() * 1e9))' |
Davide Pesavento | cbef7b8 | 2019-10-09 00:15:13 -0400 | [diff] [blame] | 9 | } |
Junxiao Shi | 439d972 | 2015-03-20 15:08:44 -0700 | [diff] [blame] | 10 | |
Davide Pesavento | cbef7b8 | 2019-10-09 00:15:13 -0400 | [diff] [blame] | 11 | for file in .jenkins.d/*; do |
Junxiao Shi | 439d972 | 2015-03-20 15:08:44 -0700 | [diff] [blame] | 12 | [[ -f $file && -x $file ]] || continue |
Davide Pesavento | cbef7b8 | 2019-10-09 00:15:13 -0400 | [diff] [blame] | 13 | |
| 14 | if [[ -n $TRAVIS ]]; then |
| 15 | label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/') |
| 16 | echo -ne "travis_fold:start:${label}\r" |
| 17 | echo -ne "travis_time:start:${label}\r" |
| 18 | start=$(nanos) |
| 19 | fi |
| 20 | |
| 21 | echo "\$ $file" |
Junxiao Shi | 439d972 | 2015-03-20 15:08:44 -0700 | [diff] [blame] | 22 | "$file" |
Davide Pesavento | cbef7b8 | 2019-10-09 00:15:13 -0400 | [diff] [blame] | 23 | |
| 24 | if [[ -n $TRAVIS ]]; then |
| 25 | finish=$(nanos) |
| 26 | echo -ne "travis_time:end:${label}:start=${start},finish=${finish},duration=$((finish-start)),event=${label}\r" |
| 27 | echo -ne "travis_fold:end:${label}\r" |
| 28 | fi |
Junxiao Shi | 439d972 | 2015-03-20 15:08:44 -0700 | [diff] [blame] | 29 | done |