mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-08-19 05:36:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: clean up an unnecessary dependency (#8363)

Browse Source
This commit is contained in:
M. J. Fromberger
2022-04-18 11:05:10 -07:00
committed by GitHub
parent e646bd77ca
commit 4d9ad115b0
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Makefile
+1 -3
View File
@@ -228,10 +228,8 @@ build-docs:
### Docker image ### ### Docker image ###
############################################################################### ###############################################################################
build-docker: build-linux build-docker:
cp $(BUILDDIR)/tendermint DOCKER/tendermint
docker build --label=tendermint --tag="tendermint/tendermint" -f DOCKER/Dockerfile . docker build --label=tendermint --tag="tendermint/tendermint" -f DOCKER/Dockerfile .
rm -rf DOCKER/tendermint
.PHONY: build-docker .PHONY: build-docker