[krbdev.mit.edu #1342] fix for requiring gawk

[Dave Love via RT]

I tried building 1.2.7 on a Solaris 8 box without gawk installed, and
it failed.  Here's a fix.

2003-02-04  Dave Love  <d.love at dl.ac.uk>

	* Makefile.in (AWK): Use @AWK at .

	* configure.in: Use AC_PROG_AWK.

===================================================================
RCS file: Makefile.in,v
retrieving revision 1.1
diff -u -r1.1 Makefile.in
--- Makefile.in	2003/02/04 15:55:23	1.1
+++ Makefile.in	2003/02/04 16:36:28
@@ -341,9 +341,9 @@
 
 #
 # Part of building the PC release has to be done on Unix. This includes
-# anything the requires awk.
+# anything that requires awk.
 #
-AWK = gawk
+AWK = @AWK@
 AH  = util/et/et_h.awk
 AC  = util/et/et_c.awk
 INC = include/
===================================================================
RCS file: configure.in,v
retrieving revision 1.1
diff -u -r1.1 configure.in
--- configure.in	2003/02/04 15:50:17	1.1
+++ configure.in	2003/02/04 15:50:24
@@ -56,6 +56,7 @@
 AC_PROG_ARCHIVE
 AC_PROG_ARCHIVE_ADD
 AC_PROG_RANLIB
+AC_PROG_AWK
 AC_CHECK_FUNCS(memmove)
 KRB5_BUILD_LIBOBJS
 KRB5_BUILD_LIBRARY