Skip to content

Commit

Permalink
Merge pull request #392 from clubby789/no-strip
Browse files Browse the repository at this point in the history
Disable stripping when building
  • Loading branch information
fitzgen authored Jan 23, 2025
2 parents 3810e61 + aafcb16 commit d1d5bc6
Showing 1 changed file with 7 additions and 1 deletion.
8 changes: 7 additions & 1 deletion src/project.rs
Original file line number Diff line number Diff line change
Expand Up @@ -142,7 +142,13 @@ impl FuzzProject {
.arg(&build.triple);
// we default to release mode unless debug mode is explicitly requested
if !build.dev {
cmd.args(["--release", "--config", "profile.release.debug=true"]);
cmd.args([
"--release",
"--config",
"profile.release.debug=true",
"--config",
"profile.release.strip=false",
]);
}
if build.verbose {
cmd.arg("--verbose");
Expand Down

0 comments on commit d1d5bc6

Please sign in to comment.