Skip to content

Add support for cargo --profile #241

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

Merged
merged 2 commits into from
Nov 2, 2022
Merged

Conversation

madadam
Copy link
Contributor

@madadam madadam commented Nov 2, 2022

Closes #167

@madadam
Copy link
Contributor Author

madadam commented Nov 2, 2022

Question: should we also deprecate / remove the --dev flag?

@djc
Copy link
Contributor

djc commented Nov 2, 2022

Question: should we also deprecate / remove the --dev flag?

No, let's keep that for now.

cmd.arg("--release");
if let Some(profile) = &opt.profile {
cmd.arg("--profile").arg(profile);
} else {
Copy link
Contributor

Choose a reason for hiding this comment

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

Would prefer to use else if directly here.

@djc djc merged commit c532c04 into flamegraph-rs:main Nov 2, 2022
@djc
Copy link
Contributor

djc commented Nov 2, 2022

Thanks!

@madadam madadam deleted the cargo-profile branch November 2, 2022 12:13
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.

Support custom cargo profiles
2 participants