diff options
author | 2019-09-15 22:31:31 +0200 | |
---|---|---|
committer | 2019-09-15 22:31:31 +0200 | |
commit | 6938ef6187a4f034931da62d10354c413268bf6c (patch) | |
tree | de145824dba38c7e31b3f836bb769c674c5803aa /ci/install.sh | |
parent | 0f5894cafe3ebab6597174dbfcca0df38bb6da83 (diff) | |
download | rtic-6938ef6187a4f034931da62d10354c413268bf6c.tar.gz rtic-6938ef6187a4f034931da62d10354c413268bf6c.tar.zst rtic-6938ef6187a4f034931da62d10354c413268bf6c.zip |
Revert "Fixed install script"
This reverts commit 0f5894cafe3ebab6597174dbfcca0df38bb6da83.
Diffstat (limited to '')
-rw-r--r-- | ci/install.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/install.sh b/ci/install.sh index 3fb5f833..aa701205 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -2,9 +2,9 @@ set -euxo pipefail main() { # these are not needed for doc builds - if [ $TRAVIS_BRANCH != master ] || [ $TRAVIS_PULL_REQUEST != false ]; then + 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.2 -f ) + ( cd .. && cargo install microamp-tools --version 0.1.0-alpha.3 -f ) rustup target add thumbv6m-none-eabi thumbv7m-none-eabi fi |