|
|
|
@ -5720,7 +5720,7 @@ case ${enable_gdbcli} in |
|
|
|
if test -d "${srcdir}/cli" ; then |
|
|
|
CONFIG_OBS="${CONFIG_OBS} \$(SUBDIR_CLI_OBS)" |
|
|
|
CONFIG_DEPS="${CONFIG_DEPS} \$(SUBDIR_CLI_DEPS)" |
|
|
|
CONFIG_SRCS="${CONFIG_SRS} \$(SUBDIR_CLI_SRCS)" |
|
|
|
CONFIG_SRCS="${CONFIG_SRCS} \$(SUBDIR_CLI_SRCS)" |
|
|
|
CONFIG_INITS="${CONFIG_INITS} \$(SUBDIR_CLI_INITS)" |
|
|
|
ENABLE_CFLAGS="${ENABLE_CFLAGS} \$(SUBDIR_CLI_CFLAGS)" |
|
|
|
CONFIG_ALL="${CONFIG_ALL} \$(SUBDIR_CLI_ALL)" |
|
|
|
@ -5751,7 +5751,7 @@ case ${enable_gdbmi} in |
|
|
|
if test -d "${srcdir}/mi" ; then |
|
|
|
CONFIG_OBS="${CONFIG_OBS} \$(SUBDIR_MI_OBS)" |
|
|
|
CONFIG_DEPS="${CONFIG_DEPS} \$(SUBDIR_MI_DEPS)" |
|
|
|
CONFIG_SRCS="${CONFIG_SRS} \$(SUBDIR_MI_SRCS)" |
|
|
|
CONFIG_SRCS="${CONFIG_SRCS} \$(SUBDIR_MI_SRCS)" |
|
|
|
CONFIG_INITS="${CONFIG_INITS} \$(SUBDIR_MI_INITS)" |
|
|
|
ENABLE_CFLAGS="${ENABLE_CFLAGS} \$(SUBDIR_MI_CFLAGS)" |
|
|
|
CONFIG_ALL="${CONFIG_ALL} \$(SUBDIR_MI_ALL)" |
|
|
|
@ -5781,7 +5781,7 @@ case ${enable_tui} in |
|
|
|
if test -d "${srcdir}/tui" ; then |
|
|
|
CONFIG_OBS="${CONFIG_OBS} \$(SUBDIR_TUI_OBS)" |
|
|
|
CONFIG_DEPS="${CONFIG_DEPS} \$(SUBDIR_TUI_DEPS)" |
|
|
|
CONFIG_SRCS="${CONFIG_SRS} \$(SUBDIR_TUI_SRCS)" |
|
|
|
CONFIG_SRCS="${CONFIG_SRCS} \$(SUBDIR_TUI_SRCS)" |
|
|
|
CONFIG_INITS="${CONFIG_INITS} \$(SUBDIR_TUI_INITS)" |
|
|
|
ENABLE_CFLAGS="${ENABLE_CFLAGS} \$(SUBDIR_TUI_CFLAGS)" |
|
|
|
CONFIG_ALL="${CONFIG_ALL} \$(SUBDIR_TUI_ALL)" |
|
|
|
|