diff options
Diffstat (limited to 'gdb/configure')
| -rwxr-xr-x | gdb/configure | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gdb/configure b/gdb/configure index 6151f69f13c..139f7e1a8b9 100755 --- a/gdb/configure +++ b/gdb/configure @@ -25480,7 +25480,6 @@ if test x"$enable_tui" != xno; then CONFIG_OBS="$CONFIG_OBS \$(SUBDIR_TUI_OBS)" CONFIG_DEPS="$CONFIG_DEPS \$(SUBDIR_TUI_DEPS)" 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} all-tui" CONFIG_CLEAN="${CONFIG_CLEAN} clean-tui" |