diff configure @ 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 1de4b71cab3a
children a66048f5ae2e
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"