# HG changeset patch # User atmos4 # Date 1010865767 0 # Node ID 86a600a5ab9e31942323cebb0285a50de6eb214b # Parent d6234c93d60fac40226c4d20d4a017bb0b6d7938 Fix awk version check from --version to -W version (works with both mawk and gawk maybe guess also with original awk) diff -r d6234c93d60f -r 86a600a5ab9e configure --- 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"