blob: da10d694858245fec4724532a5a7624902418a22 [file] [log] [blame]
Alexander Afanasyev6e64ac92018-06-14 17:25:38 -04001#!/usr/bin/env bash
2set -e
Davide Pesaventoec61b742020-04-18 01:00:12 -04003source .jenkins.d/util.sh
Alexander Afanasyev6e64ac92018-06-14 17:25:38 -04004
Davide Pesavento3c7f6452021-10-02 04:06:26 -04005if has Linux $NODE_LABELS; then
6 export PATH="${HOME}/.local/bin${PATH:+:}${PATH}"
7fi
Davide Pesaventoec61b742020-04-18 01:00:12 -04008export CACHE_DIR=${CACHE_DIR:-/tmp}
9export WAF_JOBS=${WAF_JOBS:-1}
10[[ $JOB_NAME == *"code-coverage" ]] && export DISABLE_ASAN=yes
Alexander Afanasyev6e64ac92018-06-14 17:25:38 -040011
Davide Pesaventoec61b742020-04-18 01:00:12 -040012for file in .jenkins.d/*; do
Alexander Afanasyev6e64ac92018-06-14 17:25:38 -040013 [[ -f $file && -x $file ]] || continue
Davide Pesaventoec61b742020-04-18 01:00:12 -040014
Davide Pesavento3c7f6452021-10-02 04:06:26 -040015 if [[ -n $GITHUB_ACTIONS ]]; then
Davide Pesaventoec61b742020-04-18 01:00:12 -040016 label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/')
Davide Pesavento3c7f6452021-10-02 04:06:26 -040017 echo "::group::${label}"
Davide Pesaventoec61b742020-04-18 01:00:12 -040018 fi
19
20 echo "\$ $file"
Alexander Afanasyev6e64ac92018-06-14 17:25:38 -040021 "$file"
Davide Pesaventoec61b742020-04-18 01:00:12 -040022
Davide Pesavento3c7f6452021-10-02 04:06:26 -040023 if [[ -n $GITHUB_ACTIONS ]]; then
24 echo "::endgroup::"
Davide Pesaventoec61b742020-04-18 01:00:12 -040025 fi
Davide Pesavento8f9d0622018-11-27 01:23:37 -050026done