blob: da10d694858245fec4724532a5a7624902418a22 [file] [log] [blame]
Ashlesh Gawande0b2897e2018-06-20 14:40:47 -05001#!/usr/bin/env bash
2set -e
Davide Pesavento133067f2020-04-02 22:08:27 -04003source .jenkins.d/util.sh
Ashlesh Gawande0b2897e2018-06-20 14:40:47 -05004
Davide Pesavento8dce1942021-10-02 22:31:26 -04005if has Linux $NODE_LABELS; then
6 export PATH="${HOME}/.local/bin${PATH:+:}${PATH}"
7fi
Davide Pesavento133067f2020-04-02 22:08:27 -04008export CACHE_DIR=${CACHE_DIR:-/tmp}
9export WAF_JOBS=${WAF_JOBS:-1}
10[[ $JOB_NAME == *"code-coverage" ]] && export DISABLE_ASAN=yes
Ashlesh Gawande0b2897e2018-06-20 14:40:47 -050011
Davide Pesavento133067f2020-04-02 22:08:27 -040012for file in .jenkins.d/*; do
Ashlesh Gawande0b2897e2018-06-20 14:40:47 -050013 [[ -f $file && -x $file ]] || continue
Davide Pesavento133067f2020-04-02 22:08:27 -040014
Davide Pesavento8dce1942021-10-02 22:31:26 -040015 if [[ -n $GITHUB_ACTIONS ]]; then
Davide Pesavento133067f2020-04-02 22:08:27 -040016 label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/')
Davide Pesavento8dce1942021-10-02 22:31:26 -040017 echo "::group::${label}"
Davide Pesavento133067f2020-04-02 22:08:27 -040018 fi
19
20 echo "\$ $file"
Ashlesh Gawande0b2897e2018-06-20 14:40:47 -050021 "$file"
Davide Pesavento133067f2020-04-02 22:08:27 -040022
Davide Pesavento8dce1942021-10-02 22:31:26 -040023 if [[ -n $GITHUB_ACTIONS ]]; then
24 echo "::endgroup::"
Davide Pesavento133067f2020-04-02 22:08:27 -040025 fi
Ashlesh Gawande0b2897e2018-06-20 14:40:47 -050026done