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:19:37 +0200
commite6fdb2edb6cd26b83fb9080d46c9ed85e874bba8 (patch)
tree34a18c008810c455d2c79a0f2105a9023a489c4f
parent79e723cde11d2eba6d45d6c89a3d3109062e675c (diff)
java_websocket needs ant
Change-Id: Ic1a27055b2e63e4df44d5856d8c65b0b15958470 Reviewed-on: https://gerrit.libreoffice.org/c/core/+/157312 Tested-by: Jenkins CollaboraOffice <jenkinscollaboraoffice@gmail.com> 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 b0dd7b189697..53f42597aef1 100644
--- a/configure.ac
+++ b/configure.ac
@@ -12632,6 +12632,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=