Skip to content

Don't throw away errors with -p arguments - #2723

Merged
bors merged 1 commit into
rust-lang:masterfrom
alexcrichton:override-errors
May 21, 2016
Merged

Don't throw away errors with -p arguments#2723
bors merged 1 commit into
rust-lang:masterfrom
alexcrichton:override-errors

Conversation

@alexcrichton

Copy link
Copy Markdown
Member

This was unfortunately ignoring errors which would helpfully tell you how to
rerun a command with a more precise specification.

Closes #2641

@rust-highfive

Copy link
Copy Markdown

r? @wycats

(rust_highfive has picked a reviewer for you, use r? to override)

@wycats

wycats commented May 20, 2016

Copy link
Copy Markdown
Contributor

r+

@alexcrichton

Copy link
Copy Markdown
Member Author

@bors: r=wycats

@bors

bors commented May 20, 2016

Copy link
Copy Markdown
Contributor

📌 Commit 6c5b02f has been approved by wycats

@bors

bors commented May 20, 2016

Copy link
Copy Markdown
Contributor

⌛ Testing commit 6c5b02f with merge e24eaf3...

@bors

bors commented May 20, 2016

Copy link
Copy Markdown
Contributor

💔 Test failed - cargo-win-gnu-64

This was unfortunately ignoring errors which would helpfully tell you how to
rerun a command with a more precise specification.

Closes rust-lang#2641
@alexcrichton

Copy link
Copy Markdown
Member Author

@bors: r=wycats

@bors

bors commented May 20, 2016

Copy link
Copy Markdown
Contributor

📌 Commit ab9f64d has been approved by wycats

@bors

bors commented May 20, 2016

Copy link
Copy Markdown
Contributor

⌛ Testing commit ab9f64d with merge f13ca72...

bors added a commit that referenced this pull request May 20, 2016
Don't throw away errors with `-p` arguments

This was unfortunately ignoring errors which would helpfully tell you how to
rerun a command with a more precise specification.

Closes #2641
@bors

bors commented May 21, 2016

Copy link
Copy Markdown
Contributor

@bors
bors merged commit ab9f64d into rust-lang:master May 21, 2016
@alexcrichton
alexcrichton deleted the override-errors branch May 25, 2016 05:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants