mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #897 - RalfJung:xargo, r=RalfJung

Browse Source 
bump xargo version

Rust bootstrap needs it for the CARGO env var handling.
This commit is contained in:
bors 2019-08-08 17:35:17 +00:00
commit 7143ccc8fa
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/bin/cargo-miri.rs
View File

@ -243,7 +243,7 @@ fn setup(ask_user: bool) {
} }
// First, we need xargo. // First, we need xargo.
if xargo_version().map_or(true, |v| v < (0, 3, 14)) { if xargo_version().map_or(true, |v| v < (0, 3, 15)) {
if ask_user { if ask_user {
ask("It seems you do not have a recent enough xargo installed. I will run `cargo install xargo -f`. Proceed?"); ask("It seems you do not have a recent enough xargo installed. I will run `cargo install xargo -f`. Proceed?");
} else { } else {