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

bump xargo version

Browse Source
This commit is contained in:
Ralf Jung 2019-08-08 19:34:23 +02:00
parent b12ebfc3de
commit 19367fd8de
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.
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 {
ask("It seems you do not have a recent enough xargo installed. I will run `cargo install xargo -f`. Proceed?");
} else {