]> git.proxmox.com Git - cargo.git/commitdiff
Auto merge of #2590 - alexcrichton:dont-warn-about-flags-and-configs, r=brson
authorbors <bors@rust-lang.org>
Tue, 19 Apr 2016 18:46:40 +0000 (11:46 -0700)
committerbors <bors@rust-lang.org>
Tue, 19 Apr 2016 18:46:40 +0000 (11:46 -0700)
Have CLI take preference over config for verbosity

If a CLI option is passed, that trumps any command line configuration, otherwise
just do what we did previously.

Closes #2588


Trivial merge