Merge 64d18fd into f00bc84

exul · Nov 22, 2018 · a4cfe2b · a4cfe2b
2 parents f00bc84 + 64d18fd
commit a4cfe2b
Show file tree

Hide file tree

Showing 3 changed files with 1,975 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -21,6 +21,7 @@ RUN apt-get update && \
     curl -sOSL https://static.rust-lang.org/dist/${RUST_NIGHTLY_NAME}.tar.gz && \
     curl -s https://static.rust-lang.org/dist/${RUST_NIGHTLY_NAME}.tar.gz.sha256 | sha256sum -c - && \
     tar -xzf ${RUST_NIGHTLY_NAME}.tar.gz && \
+    cp ./install ./${RUST_NIGHTLY_NAME}/install.sh && \
     ./${RUST_NIGHTLY_NAME}/install.sh && \
 		curl -sOSL https://github.com/SimonKagstrom/kcov/archive/master.zip && \
     unzip master.zip && \