mirror/rtic
1
0
Fork 0
mirror of https://github.com/rtic-rs/rtic.git synced 2024-11-27 14:04:56 +01:00
Code Issues Projects Releases Packages Wiki Activity

Fixed install script

Browse source
This commit is contained in:
Emil Fresk 2019-09-15 22:30:41 +02:00
parent c818a31058
commit 0f5894cafe
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
ci/install.sh
View file

@ -2,9 +2,9 @@ set -euxo pipefail
main() { main() {
# these are not needed for doc builds # 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 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 rustup target add thumbv6m-none-eabi thumbv7m-none-eabi
fi fi