| Junxiao Shi | 439d972 | 2015-03-20 15:08:44 -0700 | [diff] [blame] | 1 | #!/usr/bin/env bash |
| 2 | set -e | ||||
| Davide Pesavento | d839882 | 2020-03-29 18:46:19 -0400 | [diff] [blame] | 3 | source .jenkins.d/util.sh |
| Junxiao Shi | 439d972 | 2015-03-20 15:08:44 -0700 | [diff] [blame] | 4 | |
| Davide Pesavento | 8c35390 | 2021-08-30 19:10:36 -0400 | [diff] [blame] | 5 | if has Linux $NODE_LABELS; then |
| Davide Pesavento | 2c8ec07 | 2021-09-30 00:04:23 -0400 | [diff] [blame^] | 6 | export PATH="${HOME}/.local/bin${PATH:+:}${PATH}" |
| Davide Pesavento | 8c35390 | 2021-08-30 19:10:36 -0400 | [diff] [blame] | 7 | fi |
| Davide Pesavento | d839882 | 2020-03-29 18:46:19 -0400 | [diff] [blame] | 8 | export CACHE_DIR=${CACHE_DIR:-/tmp} |
| Davide Pesavento | a1a9d70 | 2020-03-29 00:58:15 -0400 | [diff] [blame] | 9 | export WAF_JOBS=${WAF_JOBS:-1} |
| Davide Pesavento | d5c2447 | 2020-04-01 17:46:18 -0400 | [diff] [blame] | 10 | [[ $JOB_NAME == *"code-coverage" ]] && export DISABLE_ASAN=yes |
| Davide Pesavento | a1a9d70 | 2020-03-29 00:58:15 -0400 | [diff] [blame] | 11 | |
| Davide Pesavento | cbef7b8 | 2019-10-09 00:15:13 -0400 | [diff] [blame] | 12 | for file in .jenkins.d/*; do |
| Junxiao Shi | 439d972 | 2015-03-20 15:08:44 -0700 | [diff] [blame] | 13 | [[ -f $file && -x $file ]] || continue |
| Davide Pesavento | cbef7b8 | 2019-10-09 00:15:13 -0400 | [diff] [blame] | 14 | |
| Davide Pesavento | e8c82ef | 2021-07-28 02:38:51 -0400 | [diff] [blame] | 15 | if [[ -n $GITHUB_ACTIONS ]]; then |
| Davide Pesavento | 2c8ec07 | 2021-09-30 00:04:23 -0400 | [diff] [blame^] | 16 | label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/') |
| Davide Pesavento | e8c82ef | 2021-07-28 02:38:51 -0400 | [diff] [blame] | 17 | echo "::group::${label}" |
| Davide Pesavento | cbef7b8 | 2019-10-09 00:15:13 -0400 | [diff] [blame] | 18 | fi |
| 19 | |||||
| 20 | echo "\$ $file" | ||||
| Junxiao Shi | 439d972 | 2015-03-20 15:08:44 -0700 | [diff] [blame] | 21 | "$file" |
| Davide Pesavento | cbef7b8 | 2019-10-09 00:15:13 -0400 | [diff] [blame] | 22 | |
| Davide Pesavento | e8c82ef | 2021-07-28 02:38:51 -0400 | [diff] [blame] | 23 | if [[ -n $GITHUB_ACTIONS ]]; then |
| 24 | echo "::endgroup::" | ||||
| Davide Pesavento | cbef7b8 | 2019-10-09 00:15:13 -0400 | [diff] [blame] | 25 | fi |
| Junxiao Shi | 439d972 | 2015-03-20 15:08:44 -0700 | [diff] [blame] | 26 | done |