diff -r 3448ac3f1a5d -r 7df725fc8f66 configure --- a/configure Mon Apr 20 21:10:03 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__ }