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.

Sign up for GitHub

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

Jump to bottom

Exclude "build" dir from index in rustc project #6008

Merged
merged 1 commit into from Aug 27, 2020
Merged

Exclude "build" dir from index in rustc project #6008

merged 1 commit into from Aug 27, 2020

Conversation

vlad20012
Copy link
Member

@vlad20012 vlad20012 commented Aug 26, 2020 •
edited

https://github.com/rust-lang/rust uses build directory instead of target. So let's exclude build as well as target

@vlad20012 vlad20012 mentioned this pull request Aug 26, 2020
Closed
@vlad20012 vlad20012 changed the title Exclude "rustc" from index dir in rustc project Exclude "build" from index dir in rustc project Aug 26, 2020
@vlad20012 vlad20012 changed the title Exclude "build" from index dir in rustc project Exclude "build" dir from index in rustc project Aug 26, 2020
@vlad20012 vlad20012 added the fix Pull requests that fix some bug(s) label Aug 27, 2020
@vlad20012 vlad20012 added this to the v130 milestone Aug 27, 2020
@vlad20012
Copy link
Member Author

bors r+

@bors
Copy link
Contributor

bors bot commented Aug 27, 2020

Build succeeded:

@bors bors bot merged commit 5e07e3b into master Aug 27, 2020
@bors bors bot deleted the exclude-build-dir-from-rustc branch August 27, 2020 16:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
fix Pull requests that fix some bug(s)
Projects
None yet
Milestone
v130
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@vlad20012