diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2021-01-05 14:17:46 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-05 21:02:21 +0100 |
| commit | 0747980c3e8bf101abee2aad730f03da1411d318 (patch) | |
| tree | 4b924514b63bd19c91fe2824f764893c12137d5e /dist | |
| parent | 156c2fe69ef9a08084196721cc13df8ea2a694e6 (diff) | |
| download | ghdl-0747980c3e8bf101abee2aad730f03da1411d318.tar.gz ghdl-0747980c3e8bf101abee2aad730f03da1411d318.tar.bz2 ghdl-0747980c3e8bf101abee2aad730f03da1411d318.zip | |
version: add Ref and Hash
Diffstat (limited to 'dist')
| -rwxr-xr-x | dist/ci-run.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/dist/ci-run.sh b/dist/ci-run.sh index 43e1c8b66..cee5d05e2 100755 --- a/dist/ci-run.sh +++ b/dist/ci-run.sh @@ -407,7 +407,13 @@ ci_run () { gend printf "$ANSI_BLUE[CI] Build ghdl in docker image ghdl/build:$BUILD_IMAGE_TAG\n" - $RUN -e GHDL_DESC="$(git describe --dirty)@${BUILD_IMAGE_TAG}" -e CONFIG_OPTS="$CONFIG_OPTS" "ghdl/build:$BUILD_IMAGE_TAG" bash -c "${scriptdir}/ci-run.sh $BUILD_CMD_OPTS build" + $RUN \ + -e GHDL_VER_DESC="$(git describe --dirty)" \ + -e GHDL_VER_REF="$(git rev-parse --abbrev-ref HEAD)@${BUILD_IMAGE_TAG}" \ + -e GHDL_VER_HASH="$(git rev-parse HEAD)" \ + -e CONFIG_OPTS="$CONFIG_OPTS" \ + ghdl/build:"$BUILD_IMAGE_TAG" \ + bash -c "${scriptdir}/ci-run.sh $BUILD_CMD_OPTS build" fi if [ ! -f build_ok ]; then |