# HG changeset patch
# User atmos4
# Date 1011134907 0
# Node ID 6db978580a7f69aa41ef0ef99b02b09cee06fba8
# Parent  e9d5b1b5827b6b024225087a9d7452476060acd6
awk change suggested by frederik kuivinen

diff -r e9d5b1b5827b -r 6db978580a7f configure
--- a/configure	Tue Jan 15 22:30:56 2002 +0000
+++ b/configure	Tue Jan 15 22:48:27 2002 +0000
@@ -1013,7 +1013,7 @@
 _awk_verc_fail=yes
 echocheck "awk"
 for _awk in mawk gawk nawk awk; do
-  if ( echo 'BEGIN{testme();}function testme(){print"";}'|$_awk -f/dev/stdin ) >> "$TMPLOG" 2>&1; then
+  if ( $_awk 'BEGIN{testme();}function testme(){print"";}' ) >> "$TMPLOG" 2>&1; then
     _awk_verc_fail=no
     break
   fi