diff -r 3448ac3f1a5d -r 39b1c755f19b configure --- a/configure Mon Apr 20 21:10:03 2009 +0000 +++ b/configure Sun Apr 26 10:47:00 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__ }