yann@96: --- gdb-6.1.1-dist/readline/configure	2003-05-27 18:29:47.000000000 -0500
yann@96: +++ gdb-6.1.1/readline/configure	2004-08-09 14:20:23.000000000 -0500
yann@96: @@ -6249,7 +6249,12 @@
yann@96:  
yann@96:  
yann@96:  echo "$as_me:$LINENO: checking for mbstate_t" >&5
yann@96: +echo $ECHO_N "bash_cv_have_mbstate_t=$bash_cv_have_mbstate_t" >&6
yann@96:  echo $ECHO_N "checking for mbstate_t... $ECHO_C" >&6
yann@96: +if test "${bash_cv_have_mbstate_t+set}" != set; then
yann@96: +  bash_cv_have_mbstate_t=yes
yann@96: +  echo $ECHO_N "WARNING!! forcing to yes!!! $ECHO_C" >&6
yann@96: +fi
yann@96:  if test "${bash_cv_have_mbstate_t+set}" = set; then
yann@96:    echo $ECHO_N "(cached) $ECHO_C" >&6
yann@96:  else