From 92f5ae5a84591434311b92148b14edcf6551b7e5 Mon Sep 17 00:00:00 2001 From: Ethan Buchman Date: Fri, 5 Jan 2018 22:19:12 -0500 Subject: [PATCH] fix vagrant [ci skip] --- Vagrantfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Vagrantfile b/Vagrantfile index 80d44f9c7..12cfce475 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -44,6 +44,6 @@ EOF chown ubuntu:ubuntu /home/ubuntu/.bash_profile # get all deps and tools, ready to install/test - su - ubuntu -c 'cd /home/ubuntu/go/src/github.com/tendermint/tendermint && make get_vendor_deps && make tools' + su - ubuntu -c 'cd /home/ubuntu/go/src/github.com/tendermint/tendermint && make get_tools && make get_vendor_deps' SHELL end