aboutsummaryrefslogtreecommitdiff
path: root/ci-dockerfiles-deployment
diff options
context:
space:
mode:
authorMaxim Kuvyrkov <maxim.kuvyrkov@linaro.org>2017-11-09 14:12:59 +0000
committerMaxim Kuvyrkov <maxim.kuvyrkov@linaro.org>2017-11-09 14:12:59 +0000
commitc0a85e5f76f66cfdde593577497b06d08cda7f8b (patch)
treec48ea9ba0b28c018236a8e6b317da6f56235cf85 /ci-dockerfiles-deployment
parent632a46c7192f6d9be343c23d91e5439b7ae58111 (diff)
ci-dockerfiles-deployment: Use correct docker command for image tagging
Change-Id: If85eed5ac81e1836eb273d0f1c82132552ee8695
Diffstat (limited to 'ci-dockerfiles-deployment')
-rw-r--r--ci-dockerfiles-deployment/builders.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/ci-dockerfiles-deployment/builders.sh b/ci-dockerfiles-deployment/builders.sh
index b1a2319672..7f7d1e6aeb 100644
--- a/ci-dockerfiles-deployment/builders.sh
+++ b/ci-dockerfiles-deployment/builders.sh
@@ -84,7 +84,7 @@ for image in ${update_images}; do
docker_tag=$(cat .docker-tag)
if [ x"${GERRIT_BRANCH}" != x"master" ]; then
new_tag=${docker_tag}-${GERRIT_BRANCH}
- docker images tag ${docker_tag} ${new_tag}
+ docker tag ${docker_tag} ${new_tag}
docker_tag=${new_tag}
fi
docker push ${docker_tag}