Use the awk found by autoconf rather than just `awk'.

diff --git a/ChangeLog b/ChangeLog
index 92f0452c086446f080cfe051a00ee7442425904e..00f44dd370b437b61d74cad1d83bf375e9fdf241 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+Fri Nov 24 17:26:38 1995  Miles Bader  <miles@gnu.ai.mit.edu>
+
+       * autoconf.sh: Define $AWK from the subst @AWK@, and use it.
+
 Wed Nov 22 11:01:16 1995  David J. MacKenzie  <djm@catapult.va.pubnix.com>
 
        * Version 2.7.