.jenkins

#!/usr/bin/env bash
set -e
source .jenkins.d/util.sh

if has Linux $NODE_LABELS; then
    export PATH="${HOME}/.local/bin${PATH:+:}${PATH}"
fi
export CACHE_DIR=${CACHE_DIR:-/tmp}
export WAF_JOBS=${WAF_JOBS:-1}
[[ $JOB_NAME == *"code-coverage" ]] && export DISABLE_ASAN=yes

for file in .jenkins.d/*; do
    [[ -f $file && -x $file ]] || continue

    if [[ -n $GITHUB_ACTIONS ]]; then
        label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/')
        echo "::group::${label}"
    fi

    echo "\$ $file"
    "$file"

    if [[ -n $GITHUB_ACTIONS ]]; then
        echo "::endgroup::"
    fi
done