diff --git a/scripts/test-infra/push-image.sh b/scripts/test-infra/push-image.sh index 71a46dfa6..41286bbe3 100755 --- a/scripts/test-infra/push-image.sh +++ b/scripts/test-infra/push-image.sh @@ -1,4 +1,10 @@ #!/bin/bash -e +# Strip 'vYYYYMMDD-' from the variable in order to get a reproducible +# version and container image tag +if [ -n "$_GIT_TAG" ]; then + export VERSION=${_GIT_TAG:10} +fi + make image -e make push -e