From d8dd7491e22a837e84b7cbf4f0ea562e377d49da Mon Sep 17 00:00:00 2001
From: Greg Szabo <greg@philosobear.com>
Date: Fri, 29 Dec 2017 13:48:14 -0500
Subject: [PATCH] Added get_tools to build tendermint

---
 build/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/Makefile b/build/Makefile
index 635a882d..fd8bc94d 100644
--- a/build/Makefile
+++ b/build/Makefile
@@ -64,7 +64,7 @@ build-tendermint: git-branch gopath-setup
 	@echo "*** Building tendermint"
 	go get -d -u github.com/tendermint/tendermint/cmd/tendermint
 	cd $(GOPATH)/src/github.com/tendermint/tendermint && git checkout "$(GIT_BRANCH)" && git pull
-	export PATH=$(GOPATH)/bin:$(PATH) && $(MAKE) -C $(GOPATH)/src/github.com/tendermint/tendermint get_vendor_deps build
+	export PATH=$(GOPATH)/bin:$(PATH) && $(MAKE) -C $(GOPATH)/src/github.com/tendermint/tendermint get_tools get_vendor_deps build
 	cp $(GOPATH)/src/github.com/tendermint/tendermint/build/tendermint $(GOPATH)/bin
 	@echo "*** Built tendermint"