changeset 4117:86a600a5ab9e

Fix awk version check from --version to -W version (works with both mawk and gawk maybe guess also with original awk)
author atmos4
date Sat, 12 Jan 2002 20:02:47 +0000
parents d6234c93d60f
children e391c5c9da23
files configure
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Sat Jan 12 19:26:19 2002 +0000
+++ b/configure	Sat Jan 12 20:02:47 2002 +0000
@@ -1009,7 +1009,7 @@
 
 #checking for gawk
 if test "$_vidix" = yes ; then
-_gawk_ver=`echo '' | awk --version 2>&1 | sed -n 's/^.*wk \([^A-Za-z ]*[0-9.]*\).*$/\1/p'`
+_gawk_ver=`echo '' | awk -W version 2>&1 | sed -n 's/^.*wk \([^A-Za-z ]*[0-9.]*\).*$/\1/p'`
   case $_gawk_ver in
     '')
       _gawk_ver="v. ?.??, bad"