diff options
author | Petr Mladek <pmladek@suse.cz> | 2011-03-30 14:30:25 +0200 |
---|---|---|
committer | Petr Mladek <pmladek@suse.cz> | 2011-03-30 14:31:15 +0200 |
commit | c4d894f6b2df7de588da9f1873bc28ad605ecde3 (patch) | |
tree | 7754b9aab2f0023a17a130f1ee4fd7d9db0d9b91 /configure.in | |
parent | da0aa4715e503e59de487d405a50316d633b5f0c (diff) |
build-ant-1.6.diff: MediaWiki can be built with ant 1.6 now
Diffstat (limited to 'configure.in')
-rwxr-xr-x | configure.in | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/configure.in b/configure.in index 1260cd2f4083..8b7f6b99274d 100755 --- a/configure.in +++ b/configure.in @@ -7579,10 +7579,6 @@ fi AC_SUBST(ANT_LIB) ant_minver=1.6.0 -# update for more extensions... -if test "$ENABLE_MEDIAWIKI" = "YES"; then - ant_minver=1.7.0 -fi ant_minminor1=`echo $ant_minver | cut -d"." -f2` AC_MSG_CHECKING([whether ant is >= $ant_minver]) |