blob: 1fa2f02ee42252960ce458d417e5c1ecfc2caf9c [file] [log] [blame]
Junxiao Shi439d9722015-03-20 15:08:44 -07001#!/usr/bin/env bash
Davide Pesaventobd3642f2022-08-12 18:19:31 -04002set -eo pipefail
Junxiao Shi439d9722015-03-20 15:08:44 -07003
Davide Pesaventobd3642f2022-08-12 18:19: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"
Davide Pesavento0771dc52025-03-25 01:15:30 -040013 if [[ -z $GITHUB_ACTIONS ]]; then
14 export PATH="${HOME}/.local/bin${PATH:+:}${PATH}"
15 fi
Davide Pesaventobd3642f2022-08-12 18:19:31 -040016 ;;
17 Darwin)
18 # Emulate a subset of os-release(5)
19 export ID=macos
20 export VERSION_ID=$(sw_vers -productVersion)
Davide Pesavento0771dc52025-03-25 01:15:30 -040021 if [[ -z $GITHUB_ACTIONS ]]; then
22 export PATH="/usr/local/bin${PATH:+:}${PATH}"
23 fi
Davide Pesaventobd3642f2022-08-12 18:19:31 -040024 if [[ -x /opt/homebrew/bin/brew ]]; then
25 eval "$(/opt/homebrew/bin/brew shellenv)"
26 elif [[ -x /usr/local/bin/brew ]]; then
27 eval "$(/usr/local/bin/brew shellenv)"
28 fi
29 ;;
30esac
31
Davide Pesaventod8398822020-03-29 18:46:19 -040032export CACHE_DIR=${CACHE_DIR:-/tmp}
Davide Pesaventod66fb492022-11-30 19:52:35 -050033
Davide Pesavento0771dc52025-03-25 01:15:30 -040034if [[ $JOB_NAME == *code-coverage ]]; then
35 export DISABLE_ASAN=1
36 export DISABLE_HEADERS_CHECK=1
Davide Pesaventod66fb492022-11-30 19:52:35 -050037fi
Davide Pesaventoa1a9d702020-03-29 00:58:15 -040038
Davide Pesaventoad266072023-03-07 21:10:55 -050039# https://reproducible-builds.org/docs/source-date-epoch/
40export SOURCE_DATE_EPOCH=$(git log -1 --format=%ct)
41
Davide Pesaventocbef7b82019-10-09 00:15:13 -040042for file in .jenkins.d/*; do
Junxiao Shi439d9722015-03-20 15:08:44 -070043 [[ -f $file && -x $file ]] || continue
Davide Pesaventocbef7b82019-10-09 00:15:13 -040044
Davide Pesaventoe8c82ef2021-07-28 02:38:51 -040045 if [[ -n $GITHUB_ACTIONS ]]; then
Davide Pesavento2c8ec072021-09-30 00:04:23 -040046 label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/')
Davide Pesaventoe8c82ef2021-07-28 02:38:51 -040047 echo "::group::${label}"
Davide Pesaventocbef7b82019-10-09 00:15:13 -040048 fi
49
50 echo "\$ $file"
Junxiao Shi439d9722015-03-20 15:08:44 -070051 "$file"
Davide Pesaventocbef7b82019-10-09 00:15:13 -040052
Davide Pesaventoe8c82ef2021-07-28 02:38:51 -040053 if [[ -n $GITHUB_ACTIONS ]]; then
54 echo "::endgroup::"
Davide Pesaventocbef7b82019-10-09 00:15:13 -040055 fi
Junxiao Shi439d9722015-03-20 15:08:44 -070056done