Davide Pesavento
22eeb2914f
Sync docs/conf.py with ndn-cxx Change-Id: I2c7106ef52a0e7c00de6767c6b59dbd3ce1dc082
27 lines
610 B
Bash
Executable File
27 lines
610 B
Bash
Executable File
#!/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
|