blob: 0f40e00f3624c2a095ba19a50b12b84778c6382b [file] [log] [blame]
Alexander Afanasyev6e64ac92018-06-14 17:25:38 -04001#!/usr/bin/env bash
Davide Pesavento27dd70c2022-08-19 16:24:28 -04002set -eo pipefail
Alexander Afanasyev6e64ac92018-06-14 17:25:38 -04003
Davide Pesavento27dd70c2022-08-19 16:24:28 -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 Pesaventof5248012022-11-15 14:25:34 -050019 export PATH="/usr/local/bin${PATH:+:}${PATH}"
Davide Pesavento27dd70c2022-08-19 16:24:28 -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 Pesaventoec61b742020-04-18 01:00:12 -040028export CACHE_DIR=${CACHE_DIR:-/tmp}
Davide Pesavento8ffcb862022-11-20 20:22:11 -050029
30if [[ $JOB_NAME == *"code-coverage" ]]; then
31 export DISABLE_ASAN=yes
32 export DISABLE_HEADERS_CHECK=yes
33fi
Alexander Afanasyev6e64ac92018-06-14 17:25:38 -040034
Davide Pesaventoec61b742020-04-18 01:00:12 -040035for file in .jenkins.d/*; do
Alexander Afanasyev6e64ac92018-06-14 17:25:38 -040036 [[ -f $file && -x $file ]] || continue
Davide Pesaventoec61b742020-04-18 01:00:12 -040037
Davide Pesavento3c7f6452021-10-02 04:06:26 -040038 if [[ -n $GITHUB_ACTIONS ]]; then
Davide Pesaventoec61b742020-04-18 01:00:12 -040039 label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/')
Davide Pesavento3c7f6452021-10-02 04:06:26 -040040 echo "::group::${label}"
Davide Pesaventoec61b742020-04-18 01:00:12 -040041 fi
42
43 echo "\$ $file"
Alexander Afanasyev6e64ac92018-06-14 17:25:38 -040044 "$file"
Davide Pesaventoec61b742020-04-18 01:00:12 -040045
Davide Pesavento3c7f6452021-10-02 04:06:26 -040046 if [[ -n $GITHUB_ACTIONS ]]; then
47 echo "::endgroup::"
Davide Pesaventoec61b742020-04-18 01:00:12 -040048 fi
Davide Pesavento8f9d0622018-11-27 01:23:37 -050049done