diff options
-rw-r--r-- | doc/configuration/use.html.part.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/configuration/use.html.part.in b/doc/configuration/use.html.part.in index e0a1a6309..d34a7853f 100644 --- a/doc/configuration/use.html.part.in +++ b/doc/configuration/use.html.part.in @@ -77,7 +77,7 @@ default <code>VIDEO_CARDS</code> from your profile, you will need to use <code>* <dt>symbols</dt> <dd>Controls how debug symbols in executables and libraries are handled. If unset or set to <code>preserve</code>, - no stripping is done. If set to <code>strip</code>, debug symbols are split. If set to <code>split</code>, debug + no stripping is done. If set to <code>strip</code>, debug symbols are stripped. If set to <code>split</code>, debug symbols are split out into files in <code>/usr/lib/debug/</code>. If set to <code>compress</code>, symbols are also split out, and debug sections are compressed. Note that <code>compress</code> will only work with <code>binutils >=2.21.51.0.4</code>, and may cause problems with older versions of <code>gdb</code>.</dd> |