summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCaolán McNamara <caolan.mcnamara@collabora.com>2023-09-27 09:22:31 +0100
committerCaolán McNamara <caolan.mcnamara@collabora.com>2023-09-27 11:18:11 +0200
commit5484007fceb8099f771a544472ba66f49631fe4f (patch)
tree58cd3c3a493aaa4b44ec92a0216c7ae3d76a020e
parent3ae9860b9c4c9cbf4b5b7c47617303f29042783d (diff)
java_websocket needs ant
Change-Id: Ic1a27055b2e63e4df44d5856d8c65b0b15958470 Reviewed-on: https://gerrit.libreoffice.org/c/core/+/157307 Tested-by: Jenkins Reviewed-by: Caolán McNamara <caolan.mcnamara@collabora.com>
-rw-r--r--configure.ac1
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index 4931ad5bf4bc..858984f7f946 100644
--- a/configure.ac
+++ b/configure.ac
@@ -12714,6 +12714,7 @@ if test "$with_java" != "no"; then
AC_MSG_RESULT([yes])
ENABLE_JAVA_WEBSOCKET=TRUE
BUILD_TYPE="$BUILD_TYPE JAVA_WEBSOCKET"
+ NEED_ANT=TRUE
else
AC_MSG_RESULT([no])
ENABLE_JAVA_WEBSOCKET=