changeset 4182:e9d5b1b5827b

nicer awk check (logging) etc.
author atmos4
date Tue, 15 Jan 2002 22:30:56 +0000
parents 159b3d0f517d
children 6db978580a7f
files configure
diffstat 1 files changed, 7 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- 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/"