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

Merge pull request #558 from RalfJung/cargo-miri

Browse Source 
do not even look for cargo metadata in 'cargo miri setup'
This commit is contained in:
Ralf Jung 2018-12-02 10:46:11 +01:00 committed by GitHub
commit 819a5bc129
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -223,6 +223,10 @@ fn main() {
// We always setup // We always setup
let ask = subcommand != MiriCommand::Setup; let ask = subcommand != MiriCommand::Setup;
setup(ask); setup(ask);
if subcommand == MiriCommand::Setup {
// Stop here.
return;
}
// Now run the command. // Now run the command.
for target in list_targets(std::env::args().skip(skip)) { for target in list_targets(std::env::args().skip(skip)) {