Remove the last remnant of "awk" specifics in ./configure.
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon Apr 20 22:08:54 2009 +0000 (2009-04-20)
changeset 13027df725fc8f66
parent 1301 2597ecea561c
child 1303 a4c0d0cba3db
child 1309 8f5a412ba2ac
Remove the last remnant of "awk" specifics in ./configure.

-------- diffstat follows --------
/trunk/configure | 1 0 1 0 -
1 file changed, 1 deletion(-)
configure
     1.1 --- a/configure	Mon Apr 20 22:04:34 2009 +0000
     1.2 +++ b/configure	Mon Apr 20 22:08:54 2009 +0000
     1.3 @@ -235,7 +235,6 @@
     1.4    --with-make=PATH        Specify the full PATH to GNU make
     1.5    --with-grep=PATH        Specify the full PATH to GNU grep
     1.6    --with-sed=PATH         Specify the full PATH to GNU sed
     1.7 -  --with-awk=PATH         Specify the full PATH to GNU awk
     1.8    --with-bash=PATH        Specify the full PATH to bash >= 3.0
     1.9  __EOF__
    1.10  }