changeset 4111:0fc9488c87ef

gawk->awk
author nick
date Sat, 12 Jan 2002 17:59:22 +0000
parents 54528d9dad53
children 3822582553d6
files configure
diffstat 1 files changed, 2 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Sat Jan 12 17:11:01 2002 +0000
+++ b/configure	Sat Jan 12 17:59:22 2002 +0000
@@ -1009,19 +1009,15 @@
 
 #checking for gawk
 if test "$_vidix" = yes ; then
-_gawk_ver=`echo '' | gawk --version 2>&1 | sed -n 's/^.*wk \([^A-Za-z ]*[0-9.]*\).*$/\1/p'`
+_gawk_ver=`echo '' | awk --version 2>&1 | sed -n 's/^.*wk \([^A-Za-z ]*[0-9.]*\).*$/\1/p'`
   case $_gawk_ver in
     '')
       _gawk_ver="v. ?.??, bad"
       _gawk_verc_fail=yes
       ;;
-    3.[0-9]|3.[0-9].[0-9])
+    *)
       _gawk_ver="$_gawk_ver, ok"
       ;;
-    *)
-      _gawk_ver="$_gawk_ver, bad"
-      _gawk_verc_fail=yes
-      ;;
   esac
 echo Checking for gawk ... $_gawk_ver
 if test "$_gawk_verc_fail" ; then