diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-10-29 22:27:30 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-10-29 22:27:30 (GMT) |
commit | a5bbab574f7adc63180af6c9d24546b117d31b80 (patch) | |
tree | 6ce6d2c50b1fde391d3f912c7d3cc02bacf84ca3 /configure | |
parent | d31396bc23bb78ed3d17ea3fdd3274ef7a8bdec1 (diff) |
Use 'gawk', not plain 'awk'.
We need GNU Awk? Then check for, and use 'gawk', not plain 'awk'.
Be a little mre verbose if a tool was not found.
/trunk/configure | 7 4 3 0 ++++---
/trunk/scripts/build/kernel/linux.sh | 2 1 1 0 +-
/trunk/scripts/functions | 16 8 8 0 ++++++++--------
/trunk/scripts/saveSample.sh | 4 2 2 0 ++--
4 files changed, 15 insertions(+), 14 deletions(-)
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 |