# HG changeset patch
# User atmos4
# Date 1011133856 0
# Node ID e9d5b1b5827b6b024225087a9d7452476060acd6
# Parent  159b3d0f517d6bc69e184b3a30911e9de2a151ff
nicer awk check (logging) etc.

diff -r 159b3d0f517d -r e9d5b1b5827b configure
--- a/configure	Tue Jan 15 21:30:45 2002 +0000
+++ b/configure	Tue Jan 15 22:30:56 2002 +0000
@@ -1010,16 +1010,17 @@
 # checking for a working awk, I'm using mawk first, because it's fastest - atmos
 _awk=
 if test "$_vidix" = yes ; then
-_awk_works=no
+_awk_verc_fail=yes
+echocheck "awk"
 for _awk in mawk gawk nawk awk; do
-  if echo 'BEGIN{testme();}function testme(){print"test";}'|$_awk -f/dev/stdin 2>&1 >/dev/null; then
-    _awk_works=yes
+  if ( echo 'BEGIN{testme();}function testme(){print"";}'|$_awk -f/dev/stdin ) >> "$TMPLOG" 2>&1; then
+    _awk_verc_fail=no
     break
   fi
 done
-test "$_awk_works" = no && _awk=no
-echo Checking for awk ... $_awk
-if test "$_awk_works" = no; then
+test "$_awk_verc_fail" = yes && _awk=no
+echores "$_awk"
+if test "$_awk_verc_fail" = yes; then
 echo "VIDIX needs Awk, but there was no working implementation found!"
 echo "Try the GNU implementation, which can be downloaded from:"
 echo "ftp://ftp.gnu.org/gnu/gawk/"