+ 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_INITS="${CONFIG_INITS} \$(SUBDIR_TUI_INITS)"
+ ENABLE_CFLAGS="${ENABLE_CFLAGS} \$(SUBDIR_TUI_CFLAGS)"
+ CONFIG_ALL="${CONFIG_ALL} \$(SUBDIR_TUI_ALL)"
+ CONFIG_CLEAN="${CONFIG_CLEAN} \$(SUBDIR_TUI_CLEAN)"
+ CONFIG_INSTALL="${CONFIG_INSTALL} \$(SUBDIR_TUI_INSTALL)"
+ CONFIG_UNINSTALL="${CONFIG_UNINSTALL} \$(SUBDIR_TUI_UNINSTALL)"
+ fi
+ ;;