diff options
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/after-success.sh | 1 | ||||
| -rw-r--r-- | ci/install.sh | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/ci/after-success.sh b/ci/after-success.sh index 3caf8dc..54bea2c 100644 --- a/ci/after-success.sh +++ b/ci/after-success.sh @@ -31,6 +31,7 @@ main() { curl -L https://github.com/rtfm-rs/cortex-m-rtfm/archive/v${ver}.tar.gz | tar xz --strip-components 1 -C $src pushd $src + rm -f .cargo/config cargo doc || cargo doc --features timer-queue cp -r target/doc $td/$prefix/api sed 's|URL|rtfm/index.html|g' $root/redirect.html > $td/$prefix/api/index.html 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 |