Skip to content

Add --profiles-dir argument to cargo pgo bolt {build,optimize}#84

Merged
Kobzol merged 1 commit intoKobzol:mainfrom
MarkusPettersson98:add-bolt-profiles-dir
Apr 25, 2026
Merged

Add --profiles-dir argument to cargo pgo bolt {build,optimize}#84
Kobzol merged 1 commit intoKobzol:mainfrom
MarkusPettersson98:add-bolt-profiles-dir

Conversation

@MarkusPettersson98
Copy link
Copy Markdown
Contributor

This PR basically implements get_bolt_directory in such a way that the user can supply their own profiles directory.

To remain backwards compatible I did not rename cargo pgo clean --profiles-dir to cargo pgo clean --pgo-profiles-dir, but it adds a bit of an assymetry with the newly added cargo pgo clean --bolt-profiles-dir subcommand.

Copy link
Copy Markdown
Owner

@Kobzol Kobzol left a comment

Choose a reason for hiding this comment

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

Hi, sorry for the delay, super busy at the moment.

Yeah, this shows that my design for bolt was a bit bolted on :) the pgo commands, it should have been done a bit differently perhaps. In any case, although this maybe deserves some refactoring overall, I'm fine with the change.

Thanks!

@Kobzol Kobzol merged commit 2f33b93 into Kobzol:main Apr 25, 2026
6 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