diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -36,7 +36,7 @@ TOOLS_TO_CHECK=' /bin/bash/^GNU bash, version 3\. make/^GNU Make gcc/ -awk/^GNU Awk +gawk/^GNU Awk sed/ bison/ flex/ @@ -83,9 +83,10 @@ has_or_abort() { continue else if [ -n "${regexp}" ]; then - str=$(${tool} --version 2>&1 |grep -E "${regexp}" |head -n 1) + tool_version=$(${tool} --version 2>&1) + str=$(echo "${tool_version}" |grep -E "${regexp}" |head -n 1) if [ -z "${str}" ]; then - echo "wrong version string" + echo "wrong version string: expecting regexp '${regexp}'" where="" continue fi |