blob: 92b9dae8cc2bbfbb34bdbfdc0a750ff6b789496f [file] [log] [blame]
Alexander Afanasyev740812e2014-10-30 15:37:45 -07001#!/usr/bin/env bash
Davide Pesaventof5006be2022-08-19 17:36:36 -04002set -eo pipefail
Alexander Afanasyev740812e2014-10-30 15:37:45 -07003
Davide Pesaventof5006be2022-08-19 17:36:36 -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 Pesaventof855ec12022-11-16 16:08:35 -050019 export PATH="/usr/local/bin${PATH:+:}${PATH}"
Davide Pesaventof5006be2022-08-19 17:36:36 -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 Pesavento5b9c85a2020-04-09 21:10:54 -040028export CACHE_DIR=${CACHE_DIR:-/tmp}
Davide Pesavento054f3662022-12-06 15:10:23 -050029
30if [[ $JOB_NAME == *"code-coverage" ]]; then
31 export DISABLE_ASAN=yes
32 export DISABLE_HEADERS_CHECK=yes
33fi
Alexander Afanasyev740812e2014-10-30 15:37:45 -070034
Davide Pesavento08208492023-04-17 01:25:01 -040035# https://reproducible-builds.org/docs/source-date-epoch/
36export SOURCE_DATE_EPOCH=$(git log -1 --format=%ct)
37
Davide Pesavento5b9c85a2020-04-09 21:10:54 -040038for file in .jenkins.d/*; do
Davide Pesavento29db0fd2017-08-29 13:32:00 -040039 [[ -f $file && -x $file ]] || continue
Davide Pesavento5b9c85a2020-04-09 21:10:54 -040040
Davide Pesaventoab6ac5d2021-10-05 23:23:53 -040041 if [[ -n $GITHUB_ACTIONS ]]; then
Davide Pesavento5b9c85a2020-04-09 21:10:54 -040042 label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/')
Davide Pesaventoab6ac5d2021-10-05 23:23:53 -040043 echo "::group::${label}"
Davide Pesavento5b9c85a2020-04-09 21:10:54 -040044 fi
45
46 echo "\$ $file"
Davide Pesavento29db0fd2017-08-29 13:32:00 -040047 "$file"
Davide Pesavento5b9c85a2020-04-09 21:10:54 -040048
Davide Pesaventoab6ac5d2021-10-05 23:23:53 -040049 if [[ -n $GITHUB_ACTIONS ]]; then
50 echo "::endgroup::"
Davide Pesavento5b9c85a2020-04-09 21:10:54 -040051 fi
Alexander Afanasyev740812e2014-10-30 15:37:45 -070052done