1 --- configure.in.old 2008-07-15 11:55:31.000000000 +0200
2 +++ configure.in 2008-07-15 16:41:53.000000000 +0200
3 @@ -6090,10 +6090,6 @@ else
7 - # update for more extensions...
8 - if test "$ENABLE_MEDIAWIKI" = "YES"; then
11 ant_minminor1=`echo $ant_minver | cut -d"." -f2`
13 AC_MSG_CHECKING([whether ant is >= $ant_minver])