Use ui_file_as_string in gdbarch.sh/gdbarch.c
This page took 0.569418 seconds and 3 git commands to generate.