From 6b499e2a8ba3500895ef58ab1184059e1ef2d38b Mon Sep 17 00:00:00 2001 From: Anton Kaliaev Date: Wed, 15 Feb 2017 00:57:54 +0400 Subject: [PATCH] add Makefile for docker files [ci skip] [circleci skip] --- DOCKER/Makefile | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 DOCKER/Makefile diff --git a/DOCKER/Makefile b/DOCKER/Makefile new file mode 100644 index 000000000..092233017 --- /dev/null +++ b/DOCKER/Makefile @@ -0,0 +1,15 @@ +build: + # TAG=0.8.0 TAG_NO_PATCH=0.8 + docker build -t "tendermint/tendermint" -t "tendermint/tendermint:$TAG" -t "tendermint/tendermint:$TAG_NO_PATCH" . + +push: + # TAG=0.8.0 TAG_NO_PATCH=0.8 + docker push "tendermint/tendermint" "tendermint/tendermint:$TAG" "tendermint/tendermint:$TAG_NO_PATCH" + +build_develop: + docker build -t "tendermint/tendermint:develop" -f Dockerfile.develop . + +push_develop: + docker push "tendermint/tendermint:develop" + +.PHONY: build build_develop push push_develop