diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml index 32500921aa..604c484f30 100644 --- a/documentation/dev-manual/dev-manual-common-tasks.xml +++ b/documentation/dev-manual/dev-manual-common-tasks.xml @@ -8250,7 +8250,7 @@ Gateways via their Web Interfaces" - For best results, install DBG (-dbg) packages + For best results, install debug (-dbg) packages for the applications you are going to debug. Doing so makes extra debug symbols available that give you more meaningful output. @@ -8280,6 +8280,15 @@ Gateways via their Web Interfaces" as all the heavy debugging is done by the host GDB. Offloading these processes gives the Gdbserver running on the target a chance to remain small and fast. + + By default, source files are part of the + *-dbg packages in order to enable GDB + to show source lines in its output. + You can save further space on the target by setting the + PACKAGE_DEBUG_SPLIT_STYLE + variable to "debug-without-src" so that these packages do not + include the source files. + @@ -8995,7 +9004,8 @@ Gateways via their Web Interfaces" takes place. You can gain access to the symbols by using "dbg-pkgs" in the IMAGE_FEATURES variable or by - installing the appropriate DBG (-dbg) packages. + installing the appropriate debug (-dbg) + packages.