blob: da10d694858245fec4724532a5a7624902418a22 [file] [log] [blame]
Wentao Shanga8f3c402014-10-30 14:03:27 -07001#!/usr/bin/env bash
2set -e
Davide Pesavento4a160042020-04-13 16:50:02 -04003source .jenkins.d/util.sh
Wentao Shanga8f3c402014-10-30 14:03:27 -07004
Davide Pesavento333e3eb2021-10-12 19:30:51 -04005if has Linux $NODE_LABELS; then
6 export PATH="${HOME}/.local/bin${PATH:+:}${PATH}"
7fi
Davide Pesavento4a160042020-04-13 16:50:02 -04008export CACHE_DIR=${CACHE_DIR:-/tmp}
9export WAF_JOBS=${WAF_JOBS:-1}
10[[ $JOB_NAME == *"code-coverage" ]] && export DISABLE_ASAN=yes
Wentao Shanga8f3c402014-10-30 14:03:27 -070011
Davide Pesavento4a160042020-04-13 16:50:02 -040012for file in .jenkins.d/*; do
Davide Pesaventob545aac2017-09-22 23:54:10 -040013 [[ -f $file && -x $file ]] || continue
Davide Pesavento4a160042020-04-13 16:50:02 -040014
Davide Pesavento333e3eb2021-10-12 19:30:51 -040015 if [[ -n $GITHUB_ACTIONS ]]; then
Davide Pesavento4a160042020-04-13 16:50:02 -040016 label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/')
Davide Pesavento333e3eb2021-10-12 19:30:51 -040017 echo "::group::${label}"
Davide Pesavento4a160042020-04-13 16:50:02 -040018 fi
19
20 echo "\$ $file"
Davide Pesaventob545aac2017-09-22 23:54:10 -040021 "$file"
Davide Pesavento4a160042020-04-13 16:50:02 -040022
Davide Pesavento333e3eb2021-10-12 19:30:51 -040023 if [[ -n $GITHUB_ACTIONS ]]; then
24 echo "::endgroup::"
Davide Pesavento4a160042020-04-13 16:50:02 -040025 fi
Wentao Shanga8f3c402014-10-30 14:03:27 -070026done