diff options
author | Josh Stone <jistone@redhat.com> | 2018-04-13 16:52:54 -0700 |
---|---|---|
committer | Josh Stone <jistone@redhat.com> | 2018-04-13 16:52:54 -0700 |
commit | cc2906cb26304301709557a88ac4a3334b88616b (patch) | |
tree | dbf063997d29feaec4b3d635b3f2ca686ea881cd /config.toml.example | |
parent | Auto merge of #49830 - sinkuu:fix_ice_47715, r=cramertj (diff) | |
download | grust-cc2906cb26304301709557a88ac4a3334b88616b.tar.gz grust-cc2906cb26304301709557a88ac4a3334b88616b.tar.bz2 grust-cc2906cb26304301709557a88ac4a3334b88616b.tar.xz |
rustbuild: allow building tools with debuginfo
Debugging information for the extended tools is currently disabled for
concerns about the size. This patch adds `--enable-debuginfo-tools` to
let one opt into having that debuginfo.
This is useful for debugging the tools in distro packages. We always
strip debuginfo into separate packages anyway, so the extra size is not
a concern in regular use.
Diffstat (limited to 'config.toml.example')
-rw-r--r-- | config.toml.example | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config.toml.example b/config.toml.example index 68bc7dfe72..bd18a604a9 100644 --- a/config.toml.example +++ b/config.toml.example | |||
@@ -262,6 +262,10 @@ | |||
262 | # standard library. | 262 | # standard library. |
263 | #debuginfo-only-std = false | 263 | #debuginfo-only-std = false |
264 | 264 | ||
265 | # Enable debuginfo for the extended tools: cargo, rls, rustfmt | ||
266 | # Adding debuginfo increases their sizes by a factor of 3-4. | ||
267 | #debuginfo-tools = false | ||
268 | |||
265 | # Whether or not jemalloc is built and enabled | 269 | # Whether or not jemalloc is built and enabled |
266 | #use-jemalloc = true | 270 | #use-jemalloc = true |
267 | 271 | ||