Merge pull request #977 from Random-Liu/install-necessary-tools

Only install necessary tools.
This commit is contained in:
Lantao Liu 2018-11-13 12:04:13 -08:00 committed by GitHub
commit 7142de0fd2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -34,7 +34,7 @@ before_script:
- export PATH=$HOME/gopath/bin:$PATH - export PATH=$HOME/gopath/bin:$PATH
script: script:
- make install.tools - make .install.gitvalidation
- make .gitvalidation - make .gitvalidation
- make binaries - make binaries
- make install.deps - make install.deps