Wentao Shang | a8f3c40 | 2014-10-30 14:03:27 -0700 | [diff] [blame] | 1 | #!/usr/bin/env bash |
| 2 | set -e |
Davide Pesavento | 4a16004 | 2020-04-13 16:50:02 -0400 | [diff] [blame] | 3 | source .jenkins.d/util.sh |
Wentao Shang | a8f3c40 | 2014-10-30 14:03:27 -0700 | [diff] [blame] | 4 | |
Davide Pesavento | 333e3eb | 2021-10-12 19:30:51 -0400 | [diff] [blame^] | 5 | if has Linux $NODE_LABELS; then |
| 6 | export PATH="${HOME}/.local/bin${PATH:+:}${PATH}" |
| 7 | fi |
Davide Pesavento | 4a16004 | 2020-04-13 16:50:02 -0400 | [diff] [blame] | 8 | export CACHE_DIR=${CACHE_DIR:-/tmp} |
| 9 | export WAF_JOBS=${WAF_JOBS:-1} |
| 10 | [[ $JOB_NAME == *"code-coverage" ]] && export DISABLE_ASAN=yes |
Wentao Shang | a8f3c40 | 2014-10-30 14:03:27 -0700 | [diff] [blame] | 11 | |
Davide Pesavento | 4a16004 | 2020-04-13 16:50:02 -0400 | [diff] [blame] | 12 | for file in .jenkins.d/*; do |
Davide Pesavento | b545aac | 2017-09-22 23:54:10 -0400 | [diff] [blame] | 13 | [[ -f $file && -x $file ]] || continue |
Davide Pesavento | 4a16004 | 2020-04-13 16:50:02 -0400 | [diff] [blame] | 14 | |
Davide Pesavento | 333e3eb | 2021-10-12 19:30:51 -0400 | [diff] [blame^] | 15 | if [[ -n $GITHUB_ACTIONS ]]; then |
Davide Pesavento | 4a16004 | 2020-04-13 16:50:02 -0400 | [diff] [blame] | 16 | label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/') |
Davide Pesavento | 333e3eb | 2021-10-12 19:30:51 -0400 | [diff] [blame^] | 17 | echo "::group::${label}" |
Davide Pesavento | 4a16004 | 2020-04-13 16:50:02 -0400 | [diff] [blame] | 18 | fi |
| 19 | |
| 20 | echo "\$ $file" |
Davide Pesavento | b545aac | 2017-09-22 23:54:10 -0400 | [diff] [blame] | 21 | "$file" |
Davide Pesavento | 4a16004 | 2020-04-13 16:50:02 -0400 | [diff] [blame] | 22 | |
Davide Pesavento | 333e3eb | 2021-10-12 19:30:51 -0400 | [diff] [blame^] | 23 | if [[ -n $GITHUB_ACTIONS ]]; then |
| 24 | echo "::endgroup::" |
Davide Pesavento | 4a16004 | 2020-04-13 16:50:02 -0400 | [diff] [blame] | 25 | fi |
Wentao Shang | a8f3c40 | 2014-10-30 14:03:27 -0700 | [diff] [blame] | 26 | done |