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

Remove obsolete output_to_genfiles = True. #4541

Merged
merged 1 commit into from
Mar 16, 2024
Merged

Conversation

tjgq
Copy link
Contributor

@tjgq tjgq commented Mar 16, 2024

This is a no-op for Bazel, which enables --incompatible_merge_genfiles_directory by default.

@fruffy fruffy added this pull request to the merge queue Mar 16, 2024
@fruffy fruffy removed this pull request from the merge queue due to a manual request Mar 16, 2024
@fruffy
Copy link
Collaborator

fruffy commented Mar 16, 2024

Approving, but can you give some more detail on the rationale here? It can't hurt to make this explicit, even if it is the default value.

@tjgq
Copy link
Contributor Author

tjgq commented Mar 16, 2024

Approving, but can you give some more detail on the rationale here? It can't hurt to make this explicit, even if it is the default value.

When --incompatible_merge_genfiles_directory is enabled (which is the case for Bazel, but not Blaze at Google), output_to_genfiles has no effect - it doesn't matter what you set it to. I'm making this change because we want to switch the default at Google, but we can't flip the flag globally - we have to do it rule by rule (and we import this rule for use internally).

Once we're done, output_to_genfiles will be removed entirely, so there's no advantage to leaving it here explicitly set to False. 99% of Bazel users don't encounter the genfiles directory at all, so leaving it is in fact more confusing.

@fruffy
Copy link
Collaborator

fruffy commented Mar 16, 2024

Thanks!

@fruffy fruffy added this pull request to the merge queue Mar 16, 2024
Merged via the queue into p4lang:main with commit 2070ecb Mar 16, 2024
17 checks passed
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