diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-09-15 22:28:52 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-09-15 22:28:52 +0200 |
| commit | c67e039c195a2024d4aed33d4b4ffe035ca2b7be (patch) | |
| tree | b98fe632b23d1d3d57fb03d1225591a8b2eb20e5 /ci | |
| parent | 8689dfdebfed02e174d29facac43989ab904a7e3 (diff) | |
fix install script
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/install.sh b/ci/install.sh index aa70120..cbc2125 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 |