diff options
author | Denes Nemeth <denes.nemeth@nokia.com> | 2018-05-12 09:40:20 +0200 |
---|---|---|
committer | Jessica Wagantall <jwagantall@linuxfoundation.org> | 2018-05-15 18:28:52 +0000 |
commit | 801d2a6ff0044cc64b937f9ecd19e08f1eaed801 (patch) | |
tree | 44adbacb67587fe09d220c3bf966adc7d38c3579 /shell/docker-push.sh | |
parent | 93fa5d34af606c3c0c04b0b2b3aaf07454e0c71d (diff) |
Tag docker images with latest tag too
Change-Id: Ic9c47ab3792db1cd52f2a11d94d2d4414aef507b
Signed-off-by: Denes Nemeth <denes.nemeth@nokia.com>
Issue-ID: VFC-728
Diffstat (limited to 'shell/docker-push.sh')
-rw-r--r-- | shell/docker-push.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/shell/docker-push.sh b/shell/docker-push.sh index 68b2bdb95..937a01ab3 100644 --- a/shell/docker-push.sh +++ b/shell/docker-push.sh @@ -4,3 +4,4 @@ set -e -o pipefail # Push our image to wherever it's defined to go by the name docker push "$DOCKER_IMAGE" +docker push "$DOCKER_IMAGE_LATEST" |