blob: 0f40e00f3624c2a095ba19a50b12b84778c6382b [file] [log] [blame]
Wentao Shanga8f3c402014-10-30 14:03:27 -07001#!/usr/bin/env bash
Davide Pesavento1d484532022-08-19 22:08:31 -04002set -eo pipefail
Wentao Shanga8f3c402014-10-30 14:03:27 -07003
Davide Pesavento1d484532022-08-19 22:08:31 -04004case $(uname) in
5 Linux)
6 if [[ -e /etc/os-release ]]; then
7 source /etc/os-release
8 else
9 source /usr/lib/os-release
10 fi
11 export ID VERSION_ID
12 export ID_LIKE="${ID} ${ID_LIKE} linux"
13 export PATH="${HOME}/.local/bin${PATH:+:}${PATH}"
14 ;;
15 Darwin)
16 # Emulate a subset of os-release(5)
17 export ID=macos
18 export VERSION_ID=$(sw_vers -productVersion)
Davide Pesaventoc2414752022-11-16 16:56:45 -050019 export PATH="/usr/local/bin${PATH:+:}${PATH}"
Davide Pesavento1d484532022-08-19 22:08:31 -040020 if [[ -x /opt/homebrew/bin/brew ]]; then
21 eval "$(/opt/homebrew/bin/brew shellenv)"
22 elif [[ -x /usr/local/bin/brew ]]; then
23 eval "$(/usr/local/bin/brew shellenv)"
24 fi
25 ;;
26esac
27
Davide Pesavento4a160042020-04-13 16:50:02 -040028export CACHE_DIR=${CACHE_DIR:-/tmp}
Davide Pesavento55bedb22022-12-03 13:50:27 -050029
30if [[ $JOB_NAME == *"code-coverage" ]]; then
31 export DISABLE_ASAN=yes
32 export DISABLE_HEADERS_CHECK=yes
33fi
Wentao Shanga8f3c402014-10-30 14:03:27 -070034
Davide Pesavento4a160042020-04-13 16:50:02 -040035for file in .jenkins.d/*; do
Davide Pesaventob545aac2017-09-22 23:54:10 -040036 [[ -f $file && -x $file ]] || continue
Davide Pesavento4a160042020-04-13 16:50:02 -040037
Davide Pesavento333e3eb2021-10-12 19:30:51 -040038 if [[ -n $GITHUB_ACTIONS ]]; then
Davide Pesavento4a160042020-04-13 16:50:02 -040039 label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/')
Davide Pesavento333e3eb2021-10-12 19:30:51 -040040 echo "::group::${label}"
Davide Pesavento4a160042020-04-13 16:50:02 -040041 fi
42
43 echo "\$ $file"
Davide Pesaventob545aac2017-09-22 23:54:10 -040044 "$file"
Davide Pesavento4a160042020-04-13 16:50:02 -040045
Davide Pesavento333e3eb2021-10-12 19:30:51 -040046 if [[ -n $GITHUB_ACTIONS ]]; then
47 echo "::endgroup::"
Davide Pesavento4a160042020-04-13 16:50:02 -040048 fi
Wentao Shanga8f3c402014-10-30 14:03:27 -070049done