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

profiletool merge: Support walking through directories of profiles. #10609

Merged
merged 1 commit into from
Jul 9, 2024

Conversation

copybara-service[bot]
Copy link

profiletool merge: Support walking through directories of profiles.

This allows the tool to recursively merge a directory full of N profiles,
as opposed to needing each profile to be explicitly listed on the command
line.

The intent is to run this as part of the build system for PGO builds, such
that individual profiles can exist in the repo but get merged at compile
time.

@copybara-service copybara-service bot added the exported Issue was exported automatically label Jul 3, 2024
@copybara-service copybara-service bot force-pushed the test/cl645218922 branch 3 times, most recently from 387814d to cc25d9a Compare July 9, 2024 01:36
This allows the tool to recursively merge a directory full of N profiles,
as opposed to needing each profile to be explicitly listed on the command
line.

The intent is to run this as part of the build system for PGO builds, such
that individual profiles can exist in the repo but get merged at compile
time.

PiperOrigin-RevId: 650441896
@copybara-service copybara-service bot merged commit 70bcf5d into master Jul 9, 2024
@copybara-service copybara-service bot deleted the test/cl645218922 branch July 9, 2024 01:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
exported Issue was exported automatically
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant