diff options
| -rw-r--r-- | documentation/dev-manual/dev-manual-common-tasks.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml index d19e94eb9d..32500921aa 100644 --- a/documentation/dev-manual/dev-manual-common-tasks.xml +++ b/documentation/dev-manual/dev-manual-common-tasks.xml @@ -8407,12 +8407,12 @@ Gateways via their Web Interfaces</ulink>"</emphasis> <para> You need to add a statement in the - <filename>.gdbinit</filename> file that points to your + <filename>~/.gdbinit</filename> file that points to your root filesystem. Here is an example that points to the root filesystem for an ARM-based target device: <literallayout class='monospaced'> - set sysroot /home/jzhang/sysroot_arm + set sysroot ~/sysroot_arm </literallayout> </para> </section> |