install grcov (#4097)

2019-05-01 14:27:17 -07:00 · 2019-05-01 14:27:17 -07:00 · a7d18125d3
parent 8202310073
commit a7d18125d3
1 changed files with 1 additions and 2 deletions
--- a/ci/docker-rust-nightly/Dockerfile
+++ b/ci/docker-rust-nightly/Dockerfile
@ -4,9 +4,8 @@ ARG date
 RUN set -x \
 && rustup install nightly-$date \
 && rustup show \
- && rustup show \
 && rustc --version \
 && cargo --version \
+ && cargo install grcov \
 && rustc +nightly-$date --version \
 && cargo +nightly-$date --version
-