diff options
author | Tomas Chvatal <tchvatal@suse.cz> | 2011-09-22 12:52:40 +0200 |
---|---|---|
committer | Tomas Chvatal <tchvatal@suse.cz> | 2011-09-24 18:09:58 +0200 |
commit | 3a8c8537d1c8e03f3587a6823b2f6749b3115c46 (patch) | |
tree | 6bce23dcbc7ee0b0fff6a38f6981fca5a0c977a6 /configure.in | |
parent | a45542c6f0df83b270311f188d57bb2b0a51e771 (diff) |
For wiki-ext check also java and ext support.
Diffstat (limited to 'configure.in')
-rwxr-xr-x | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 23593346e418..11f46811e399 100755 --- a/configure.in +++ b/configure.in @@ -7046,7 +7046,7 @@ if test "$ENABLE_PRESENTER_SCREEN" = "YES" -o "$ENABLE_MINIMIZER" = "YES" -o "$E fi AC_MSG_CHECKING([whether to build the Wiki Publisher extension]) -AS_IF([test "x$enable_ext_wiki_publisher" = "xyes"], [ +AS_IF([test "x$enable_ext_wiki_publisher" = "xyes" -a -o "x$enable_extension_integration" != "xno" -a "$with_java" != "no"], [ AC_MSG_RESULT([yes]) AC_MSG_CHECKING([for swext module]) ENABLE_MEDIAWIKI=YES |