Debugging with GDB Manual HP WDB v6.3 (5900-2180, August 2012)

The -file-exec-file command
Synopsis
-file-exec-file file
Specify the executable file to be debugged. Unlike '-file-exec-and-symbols', the symbol
table is not read from this file. If used without argument, GDB clears the information about the
executable file. No output is produced, except a completion notification.
GDB command
The corresponding GDB command is 'exec-file'.
Example
(gdb)
-file-exec-file /kwikemart/marge/ezannoni/TRUNK/mbx/hello.mbx
^done
(gdb)
The -file-list-exec-sections command
Synopsis
-file-list-exec-sections
List the sections of the current executable file.
GDB command
The GDB command 'info file' shows, among the rest, the same information as this command.
gdbtk has a corresponding command 'gdb_load_info'.
Example
N.A.
The -file-list-exec-source-files command
Synopsis
-file-list-exec-source-files
List the source files for the current executable.
GDB command
There is no GDB command which directly corresponds to this one. gdbtk has an analogous
command 'gdb_listfiles'.
Example
N.A.
The -file-list-shared-libraries command
Synopsis
-file-list-shared-libraries
List the shared libraries in the program.
268 The GDB/MI Interface