Merge pull request #375 from solson/cleanups

cargo cache was messing up xargo/miri install
This commit is contained in:
Oliver Schneider 2018-05-09 16:12:06 +02:00 committed by GitHub
commit 2471823790
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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