Browse Source

fix vagrant [ci skip]

pull/1068/merge
Ethan Buchman 7 years ago
parent
commit
92f5ae5a84
1 changed files with 1 additions and 1 deletions
  1. +1
    -1
      Vagrantfile

+ 1
- 1
Vagrantfile View File

@ -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

Loading…
Cancel
Save