* lib/gdb.exp(default_gdb_start): Use gdb_opts host feature.
This page took 0.137842 seconds and 3 git commands to generate.