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(-)

1 files changed, 4 insertions, 3 deletions

diff --git a/configure b/configure
index 363628e..8b20f2c 100755
--- a/configure
+++ b/configure
@@ -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