# This file is auto-generated by 'make config'.
# Options for gdb-7.12
_OPTIONS_READ=gdb-7.12
_FILE_COMPLETE_OPTIONS_LIST=DEBUG GDB_LINK GUILE KGDB PYTHON TUI BASE_READLINE BUNDLED_READLINE PORT_READLINE
OPTIONS_FILE_UNSET+=DEBUG
OPTIONS_FILE_SET+=GDB_LINK
OPTIONS_FILE_UNSET+=GUILE
OPTIONS_FILE_SET+=KGDB
OPTIONS_FILE_UNSET+=PYTHON
OPTIONS_FILE_SET+=TUI
OPTIONS_FILE_UNSET+=BASE_READLINE
OPTIONS_FILE_UNSET+=BUNDLED_READLINE
OPTIONS_FILE_SET+=PORT_READLINE