cargo cache was messing up xargo/miri install

This commit is contained in:
Oliver Schneider 2018-05-09 15:13:36 +02:00
parent 0d43fcea13
commit 9068a2a4b3
No known key found for this signature in database
GPG Key ID: 1D5CB4FC597C3004
2 changed files with 3 additions and 3 deletions

View File

@ -8,7 +8,7 @@ before_script:
- rustup target add i686-pc-windows-gnu
- rustup target add i686-pc-windows-msvc
- rustup component add rust-src
- cargo install --git https://github.com/japaric/xargo.git
- cargo install xargo || echo "skipping xargo install"
- export RUST_SYSROOT=$HOME/rust
script:
- set -e
@ -19,7 +19,7 @@ script:
# Test plain miri
cargo build --release --all-features &&
cargo test --release --all-features --all &&
cargo install --all-features
cargo install --all-features --force
- |
# Test cargo miri
cd cargo-miri-test &&

View File

@ -22,7 +22,7 @@ install:
- rustc -V
- cargo -V
- rustup component add rust-src
- cargo install --git https://github.com/japaric/xargo.git
- cargo install xargo
- cd xargo
- set RUSTFLAGS=-Zalways-encode-mir -Zmir-emit-validate=1
- xargo build