mirror of
https://github.com/rtic-rs/rtic.git
synced 2024-11-26 05:29:38 +01:00
parent
0f5894cafe
commit
6938ef6187
1 changed files with 2 additions and 2 deletions
|
@ -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.2 -f )
|
( cd .. && cargo install microamp-tools --version 0.1.0-alpha.3 -f )
|
||||||
rustup target add thumbv6m-none-eabi thumbv7m-none-eabi
|
rustup target add thumbv6m-none-eabi thumbv7m-none-eabi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue