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

bors · bors · commit 7143ccc8fa30 · 2019-08-08T17:35:17.000Z
bump xargo version

Rust bootstrap needs it for the CARGO env var handling.
diff --git a/src/bin/cargo-miri.rs b/src/bin/cargo-miri.rs
@@ -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 {

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