Auto merge of #12748 - nnethercote:add-missing-strip, r=weihanglo

Add missing `strip` entries in `dev` and `release` profiles. The docs for the `dev` and `release` profiles mention 10 of the 11 possible profile settings. This commit adds the missing `strip` entries.
rust-lang · Sep 28, 2023 · 84445c6 · 84445c6
2 parents e3acdd3 + 5649773
commit 84445c6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/doc/src/reference/profiles.md b/src/doc/src/reference/profiles.md
@@ -270,6 +270,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
@@ -292,6 +293,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