Searched refs:enable_terminal (Results 1 – 2 of 2) sorted by relevance
2164 , [enable_terminal="auto"])2165 if test "$enable_terminal" = "yes" || test "$enable_terminal" = "auto" -a "x$features" = "xhuge" ; …2168 enable_terminal="no"2170 if test "$enable_terminal" = "auto"; then2171 enable_terminal="yes"2178 if test "$enable_terminal" = "auto"; then2179 enable_terminal="no"2185 if test "$enable_terminal" = "yes" -a "$enable_channel" = "yes"; then
8029 enableval=$enable_terminal;8031 enable_terminal="auto"8034 if test "$enable_terminal" = "yes" || test "$enable_terminal" = "auto" -a "x$features" = "xhuge" ; …8038 enable_terminal="no"8040 if test "$enable_terminal" = "auto"; then8041 enable_terminal="yes"8050 if test "$enable_terminal" = "auto"; then8051 enable_terminal="no"8059 if test "$enable_terminal" = "yes" -a "$enable_channel" = "yes"; then