Skip to content

Commit

Permalink
Auto merge of #12337 - ehuss:config-strip, r=weihanglo
Browse files Browse the repository at this point in the history
Add profile strip to config docs.

This information in the docs was missed when stabilizing in #10088.
  • Loading branch information
bors committed Jul 9, 2023
2 parents bd0b9fd + b6d1979 commit c40a69d
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions src/doc/src/reference/config.md
Original file line number Diff line number Diff line change
Expand Up @@ -132,6 +132,7 @@ panic = 'unwind' # The panic strategy.
incremental = true # Incremental compilation.
codegen-units = 16 # Number of code generation units.
rpath = false # Sets the rpath linking option.
strip = "none" # Removes symbols or debuginfo.
[profile.<name>.build-override] # Overrides build-script settings.
# Same keys for a normal profile.
[profile.<name>.package.<name>] # Override profile for a package.
Expand Down Expand Up @@ -908,6 +909,13 @@ See [panic](profiles.md#panic).

See [rpath](profiles.md#rpath).

##### `profile.<name>.strip`
* Type: string
* default: See profile docs.
* Environment: `CARGO_PROFILE_<name>_STRIP`

See [strip](profiles.md#strip).


#### `[registries]`

Expand Down

0 comments on commit c40a69d

Please sign in to comment.