diff options
| author | Alex Crichton <alex@alexcrichton.com> | 2018-04-05 11:50:46 -0700 |
|---|---|---|
| committer | Alex Crichton <alex@alexcrichton.com> | 2018-04-05 11:50:46 -0700 |
| commit | 4d239ab14e0053edef396d8728828e1f73ce1342 (patch) | |
| tree | b73f504ffc4781562a814e7d8e68f056f7d0c9c6 /src | |
| parent | 83669ecc1f123be645456a8816e90c10f5b391f7 (diff) | |
| parent | 649f431acfaff1bcaad56f63b19c28499fb75964 (diff) | |
Rollup merge of #49697 - kennytm:name-every-builder, r=aturon
Diffstat (limited to 'src')
| -rwxr-xr-x | src/ci/docker/run.sh | 1 | ||||
| -rwxr-xr-x | src/ci/run.sh | 4 |
2 files changed, 5 insertions, 0 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index ea2387b67db..c470ae7eb30 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -130,6 +130,7 @@ exec docker \ --env TRAVIS \ --env TRAVIS_BRANCH \ --env TOOLSTATE_REPO_ACCESS_TOKEN \ + --env CI_JOB_NAME="${CI_JOB_NAME-$IMAGE}" \ --volume "$HOME/.cargo:/cargo" \ --volume "$HOME/rustsrc:$HOME/rustsrc" \ --init \ diff --git a/src/ci/run.sh b/src/ci/run.sh index 44eae0d1800..119b239d6b2 100755 --- a/src/ci/run.sh +++ b/src/ci/run.sh @@ -11,6 +11,10 @@ set -e +if [ -n "$CI_JOB_NAME" ]; then + echo "[CI_JOB_NAME=$CI_JOB_NAME]" +fi + if [ "$NO_CHANGE_USER" = "" ]; then if [ "$LOCAL_USER_ID" != "" ]; then useradd --shell /bin/bash -u $LOCAL_USER_ID -o -c "" -m user |