Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Merged
merged 1 commit into from May 21, 2016

Conversation

alexcrichton
Copy link
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

r? @wycats

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

@wycats
Copy link
Contributor

wycats commented May 20, 2016

r+

@alexcrichton
Copy link
Member Author

@bors: r=wycats

@bors
Copy link
Collaborator

bors commented May 20, 2016

📌 Commit 6c5b02f has been approved by wycats

@bors
Copy link
Collaborator

bors commented May 20, 2016

⌛ Testing commit 6c5b02f with merge e24eaf3...

@bors
Copy link
Collaborator

bors commented May 20, 2016

💔 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
Member Author

@bors: r=wycats

@bors
Copy link
Collaborator

bors commented May 20, 2016

📌 Commit ab9f64d has been approved by wycats

@bors
Copy link
Collaborator

bors commented May 20, 2016

⌛ 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
Copy link
Collaborator

bors commented May 21, 2016

@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.

None yet

4 participants