From 4d9ad115b0c730b4ec419fcfe225e95372fe0d8a Mon Sep 17 00:00:00 2001 From: "M. J. Fromberger" Date: Mon, 18 Apr 2022 11:05:10 -0700 Subject: [PATCH] build: clean up an unnecessary dependency (#8363) --- Makefile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 64a50669c..c9836956b 100644 --- a/Makefile +++ b/Makefile @@ -228,10 +228,8 @@ build-docs: ### Docker image ### ############################################################################### -build-docker: build-linux - cp $(BUILDDIR)/tendermint DOCKER/tendermint +build-docker: docker build --label=tendermint --tag="tendermint/tendermint" -f DOCKER/Dockerfile . - rm -rf DOCKER/tendermint .PHONY: build-docker