diff --git a/configure b/configure index da83ff6278..87fa0c55b3 100755 --- a/configure +++ b/configure @@ -787,8 +787,6 @@ bugs! GCC 2.96 IS NOT AND WILL NOT BE SUPPORTED BY US ! - *** For details please read DOCS/HTML/en/users-vs-dev.html *** - EOF die "Bad gcc version" fi @@ -798,7 +796,7 @@ cat <