--- /tmp/configure 1999-11-17 12:09:38.000000000 -0800 +++ ./configure 2003-03-02 20:10:38.000000000 -0800 @@ -1836,7 +1836,8 @@ if test $BISON != "error"; then - bison_version=`$BISON --version | sed 's/^.*version 1.//g'` + bison_version=`$BISON --version | sed -ne 's/^.*\(version\|(GNU Bison)\) 1\.//p'` + if test `echo $bison_version | sed 's/\..*$//g'` -lt 25; then echo "configure: warning: Your bison is a bit old (1.$bison_version). You might have to install 1.25" 1>&2