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