# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1240265334 0
# Node ID 7df725fc8f661d8f92bf8365bd3cb4f04535bba8
# Parent  2597ecea561ceab23048e52c9024e312a7c77b0b
Remove the last remnant of "awk" specifics in ./configure.

 -------- diffstat follows --------
 /trunk/configure |    1     0     1     0 -
 1 file changed, 1 deletion(-)

diff -r 2597ecea561c -r 7df725fc8f66 configure
--- a/configure	Mon Apr 20 22:04:34 2009 +0000
+++ b/configure	Mon Apr 20 22:08:54 2009 +0000
@@ -235,7 +235,6 @@
   --with-make=PATH        Specify the full PATH to GNU make
   --with-grep=PATH        Specify the full PATH to GNU grep
   --with-sed=PATH         Specify the full PATH to GNU sed
-  --with-awk=PATH         Specify the full PATH to GNU awk
   --with-bash=PATH        Specify the full PATH to bash >= 3.0
 __EOF__
 }