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

Add empty jobserver feature. #1150

Merged

Conversation

waywardmonkeys
Copy link
Contributor

Since we removed implicit features, anyone that used this crate and specifically enabled jobserver would now be broken as this crate no longer had that feature (or a couple of others).

Add a placeholder jobserver feature that doesn't enable parallel (just as it didn't enable it before).

The other features removed weren't likely to be enabled by anyone.

Since we removed implicit features, anyone that used this crate
and specifically enabled `jobserver` would now be broken as this
crate no longer had that feature (or a couple of others).

Add a placeholder `jobserver` feature that doesn't enable `parallel`
(just as it didn't enable it before).

The other features removed weren't likely to be enabled by anyone.
@waywardmonkeys
Copy link
Contributor Author

This should fix the problem reported in #1099 by @rafales.

The actual problem should also be reported to the @solana-labs crew.

@waywardmonkeys
Copy link
Contributor Author

I reported it and the issue was auto-closed as the whole thing has been forked. I looked in the fork and it no longer uses cc ... but since this was technically part of the public API, this change is still fine to go in, I guess.

Copy link
Collaborator

@NobodyXu NobodyXu left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@NobodyXu NobodyXu merged commit 1b368d9 into rust-lang:main Jul 12, 2024
25 checks passed
@github-actions github-actions bot mentioned this pull request Jul 12, 2024
@waywardmonkeys waywardmonkeys deleted the do-nothing-jobserver-feature branch July 12, 2024 22:07
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.

2 participants