blob: 92b9dae8cc2bbfbb34bdbfdc0a750ff6b789496f [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 Pesavento60b52cf2023-04-26 15:27:02 -040035# https://reproducible-builds.org/docs/source-date-epoch/
36export SOURCE_DATE_EPOCH=$(git log -1 --format=%ct)
37
Davide Pesavento4a160042020-04-13 16:50:02 -040038for file in .jenkins.d/*; do
Davide Pesaventob545aac2017-09-22 23:54:10 -040039 [[ -f $file && -x $file ]] || continue
Davide Pesavento4a160042020-04-13 16:50:02 -040040
Davide Pesavento333e3eb2021-10-12 19:30:51 -040041 if [[ -n $GITHUB_ACTIONS ]]; then
Davide Pesavento4a160042020-04-13 16:50:02 -040042 label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/')
Davide Pesavento333e3eb2021-10-12 19:30:51 -040043 echo "::group::${label}"
Davide Pesavento4a160042020-04-13 16:50:02 -040044 fi
45
46 echo "\$ $file"
Davide Pesaventob545aac2017-09-22 23:54:10 -040047 "$file"
Davide Pesavento4a160042020-04-13 16:50:02 -040048
Davide Pesavento333e3eb2021-10-12 19:30:51 -040049 if [[ -n $GITHUB_ACTIONS ]]; then
50 echo "::endgroup::"
Davide Pesavento4a160042020-04-13 16:50:02 -040051 fi
Wentao Shanga8f3c402014-10-30 14:03:27 -070052done