Conversation
zramsay
commented
Nov 13, 2018
- Updated all relevant documentation in docs
- Updated all code comments where relevant
- Wrote tests
- Updated CHANGELOG_PENDING.md
|
| @echo "--> Installing tools" | ||
| ./scripts/get_tools.sh | ||
| @echo "--> Downloading linters (this may take awhile)" | ||
| $(GOPATH)/src/github.com/alecthomas/gometalinter/scripts/install.sh -b $(GOBIN) |
There was a problem hiding this comment.
If you add back these two lines, this should resolve #2824 (comment) AFAIK.
There was a problem hiding this comment.
this line fails when installing on RPi: https://github.com/alecthomas/gometalinter/blob/master/scripts/install.sh#L62
should we add a platform check for this line?
There was a problem hiding this comment.
should we add a platform check for this line?
yes (with a comment saying it does not work on ...)
There was a problem hiding this comment.
the better option (seemingly) was to split the makefile targets - this is how it is in the SDK now
Codecov Report
@@ Coverage Diff @@
## develop #2824 +/- ##
==========================================
- Coverage 62.25% 62.2% -0.05%
==========================================
Files 212 212
Lines 17253 17253
==========================================
- Hits 10740 10732 -8
- Misses 5610 5616 +6
- Partials 903 905 +2
|
ebuchman
left a comment
There was a problem hiding this comment.
Couldn't we consolidate by making a variable for the go binary and switching based on the OS? seems unnecessary to have a duplicate script ...
| #!/usr/bin/env bash | ||
|
|
||
| # XXX: this script is intended to be run from | ||
| # a fresh Digital Ocean droplet with Ubuntu |
|
@ebuchman yeah i was thinking the same thing ... it'll happen |
* Vagrantfile: install dev_tools Follow-up on #2824 * update consensus params spec * fix test name * rpc_test: panic if failed to start listener also - remove http_server#MustListen - align StartHTTPServer and StartHTTPAndTLSServer functions * dep: allow minor releases for grpc