comparison configure @ 4115:1de4b71cab3a

Additional AWK notes
author nick
date Sat, 12 Jan 2002 18:58:41 +0000
parents 0fc9488c87ef
children 86a600a5ab9e
comparison
equal deleted inserted replaced
4114:aeb27b09de8e 4115:1de4b71cab3a
1017 ;; 1017 ;;
1018 *) 1018 *)
1019 _gawk_ver="$_gawk_ver, ok" 1019 _gawk_ver="$_gawk_ver, ok"
1020 ;; 1020 ;;
1021 esac 1021 esac
1022 echo Checking for gawk ... $_gawk_ver 1022 echo Checking for awk ... $_gawk_ver
1023 if test "$_gawk_verc_fail" ; then 1023 if test "$_gawk_verc_fail" ; then
1024 echo Gawk was not found or has wrong version. gawk-3.0.x is required 1024 echo Awk was not found or has wrong version.
1025 echo If you have no such one then it can be downloaded from:
1026 echo ftp://ftp.gnu.org/gnu/gawk/
1027 echo Also check - maybe you already have gawk, mawk or nawk.
1028 echo If test is succesful then make awk symlink. Example ln -sf gawk awk
1029 echo Or rerun configure with --disable-vidix option.
1025 exit 1030 exit
1026 fi 1031 fi
1027 fi 1032 fi
1028 1033
1029 1034