* config/monitor.exp(gdb_target_monitor): Call gdb_file_cmd
This page took 0.156181 seconds and 3 git commands to generate.