aboutsummaryrefslogtreecommitdiff
path: root/ci/install.sh
diff options
context:
space:
mode:
authorGravatar Jorge Aparicio <jorge@japaric.io> 2019-09-15 22:28:52 +0200
committerGravatar Jorge Aparicio <jorge@japaric.io> 2019-09-15 22:28:52 +0200
commitc67e039c195a2024d4aed33d4b4ffe035ca2b7be (patch)
treeb98fe632b23d1d3d57fb03d1225591a8b2eb20e5 /ci/install.sh
parent8689dfdebfed02e174d29facac43989ab904a7e3 (diff)
downloadrtic-c67e039c195a2024d4aed33d4b4ffe035ca2b7be.tar.gz
rtic-c67e039c195a2024d4aed33d4b4ffe035ca2b7be.tar.zst
rtic-c67e039c195a2024d4aed33d4b4ffe035ca2b7be.zip
fix install script
Diffstat (limited to '')
-rw-r--r--ci/install.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/install.sh b/ci/install.sh
index aa701205..cbc2125b 100644
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -4,7 +4,7 @@ main() {
# these are not needed for doc builds
if [ $TRAVIS_BRANCH != master ] || [ $TRAVIS_PULL_REQUEST != false ]; then
if [ $TARGET = x86_64-unknown-linux-gnu ]; then
- ( cd .. && cargo install microamp-tools --version 0.1.0-alpha.3 -f )
+ ( cd .. && cargo install microamp-tools --version 0.1.0-alpha.2 -f )
rustup target add thumbv6m-none-eabi thumbv7m-none-eabi
fi