changeset 4115:1de4b71cab3a

Additional AWK notes
author nick
date Sat, 12 Jan 2002 18:58:41 +0000
parents aeb27b09de8e
children d6234c93d60f
files configure
diffstat 1 files changed, 7 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Sat Jan 12 18:34:50 2002 +0000
+++ b/configure	Sat Jan 12 18:58:41 2002 +0000
@@ -1019,9 +1019,14 @@
       _gawk_ver="$_gawk_ver, ok"
       ;;
   esac
-echo Checking for gawk ... $_gawk_ver
+echo Checking for awk ... $_gawk_ver
 if test "$_gawk_verc_fail" ; then
-echo Gawk was not found or has wrong version. gawk-3.0.x is required
+echo Awk was not found or has wrong version.
+echo If you have no such one then it can be downloaded from:
+echo ftp://ftp.gnu.org/gnu/gawk/
+echo Also check - maybe you already have gawk, mawk or nawk.
+echo If test is succesful then make awk symlink. Example ln -sf gawk awk
+echo Or rerun configure with --disable-vidix option.
 exit
 fi
 fi