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

rustbuild: Fix dependencies of check-error-index #37651

Merged
merged 1 commit into from
Nov 9, 2016

Conversation

alexcrichton
Copy link
Member

This depends on the error index actually existing rather than just the tool to
generate the error index.

@alexcrichton
Copy link
Member Author

@bors: r+ p=1

(fixing flakiness on bors)

@rust-highfive
Copy link
Collaborator

r? @nikomatsakis

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

@bors
Copy link
Contributor

bors commented Nov 8, 2016

📌 Commit 7441903 has been approved by alexcrichton

@bors
Copy link
Contributor

bors commented Nov 8, 2016

⌛ Testing commit 7441903 with merge 4b6e1da...

@bors
Copy link
Contributor

bors commented Nov 8, 2016

💔 Test failed - auto-mac-64-opt-rustbuild

@alexcrichton
Copy link
Member Author

@bors: retry

If it ran too soon there wasn't a `test` directory lying around but we'll need
one!
@alexcrichton
Copy link
Member Author

@bors: r+

@bors
Copy link
Contributor

bors commented Nov 8, 2016

📌 Commit 860c6ab has been approved by alexcrichton

@bors
Copy link
Contributor

bors commented Nov 8, 2016

⌛ Testing commit 860c6ab with merge f3a9e1a...

@jseyfried
Copy link
Contributor

@bors retry force clean

@bors
Copy link
Contributor

bors commented Nov 9, 2016

⌛ Testing commit 860c6ab with merge 966c700...

bors added a commit that referenced this pull request Nov 9, 2016
rustbuild: Fix dependencies of check-error-index

This depends on the error index actually existing rather than just the tool to
generate the error index.
@bors bors merged commit 860c6ab into rust-lang:master Nov 9, 2016
@alexcrichton alexcrichton deleted the fix-deps branch November 11, 2016 22:01
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.

5 participants