Release: fix docker push

This commit is contained in:
Miek Gieben
2017-05-03 19:59:11 +01:00
parent 667635e295
commit b7dd1559c1

View File

@@ -96,6 +96,8 @@ docker:
docker-release: docker-release:
@echo Pushing: $(VERSION) @echo Pushing: $(VERSION)
docker tag $(DOCKER_IMAGE_NAME):latest $(DOCKER_IMAGE_NAME):$(VERSION) docker tag $(DOCKER_IMAGE_NAME):latest $(DOCKER_IMAGE_NAME):$(VERSION)
docker push $(DOCKER_IMAGE_NAME):latest
docker push $(DOCKER_IMAGE_NAME):$(VERSION)
.PHONY: clean .PHONY: clean
clean: clean: