1.1 --- a/configure	Wed Oct 15 08:08:02 2008 +0000
     1.2 +++ b/configure	Wed Oct 29 22:27:30 2008 +0000
     1.3 @@ -36,7 +36,7 @@
     1.4  /bin/bash/^GNU bash, version 3\.
     1.5  make/^GNU Make
     1.6  gcc/
     1.7 -awk/^GNU Awk
     1.8 +gawk/^GNU Awk
     1.9  sed/
    1.10  bison/
    1.11  flex/
    1.12 @@ -83,9 +83,10 @@
    1.13                continue
    1.14            else
    1.15                if [ -n "${regexp}" ]; then
    1.16 -                  str=$(${tool} --version 2>&1 |grep -E "${regexp}" |head -n 1)
    1.17 +                  tool_version=$(${tool} --version 2>&1)
    1.18 +                  str=$(echo "${tool_version}" |grep -E "${regexp}" |head -n 1)
    1.19                    if [ -z "${str}" ]; then
    1.20 -                      echo "wrong version string"
    1.21 +                      echo "wrong version string: expecting regexp '${regexp}'"
    1.22                        where=""
    1.23                        continue
    1.24                    fi