Skip to content

Commit

Permalink
Add missing strip entries in dev and release profiles.
Browse files Browse the repository at this point in the history
The docs for the `dev` and `release` profiles mention 10 of the 11
possible profile settings. This commit adds the missing `strip` entries.
  • Loading branch information
nnethercote committed Sep 28, 2023
1 parent dea587a commit 5649773
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions src/doc/src/reference/profiles.md
Original file line number Diff line number Diff line change
Expand Up @@ -233,6 +233,7 @@ The default settings for the `dev` profile are:
opt-level = 0
debug = true
split-debuginfo = '...' # Platform-specific.
strip = false
debug-assertions = true
overflow-checks = true
lto = false
Expand All @@ -255,6 +256,7 @@ The default settings for the `release` profile are:
opt-level = 3
debug = false
split-debuginfo = '...' # Platform-specific.
strip = false
debug-assertions = false
overflow-checks = false
lto = false
Expand Down

0 comments on commit 5649773

Please sign in to comment.