]> git.proxmox.com Git - cargo.git/commitdiff
Auto merge of #5710 - RalfJung:default-run, r=alexcrichton
authorbors <bors@rust-lang.org>
Mon, 16 Jul 2018 20:47:38 +0000 (20:47 +0000)
committerbors <bors@rust-lang.org>
Mon, 16 Jul 2018 20:47:38 +0000 (20:47 +0000)
implement default-run option to set default binary for cargo run

The implementation is not pretty but as good as I could make it. The fact that all this logic in `cargo_run` is for diagnosis only and essentially just re-implements the filtering done elsewhere really threw me off.

Fixes #2200


Trivial merge