diff options
author | Caolán McNamara <caolan.mcnamara@collabora.com> | 2023-09-27 09:22:31 +0100 |
---|---|---|
committer | Caolán McNamara <caolan.mcnamara@collabora.com> | 2023-09-27 11:19:37 +0200 |
commit | e6fdb2edb6cd26b83fb9080d46c9ed85e874bba8 (patch) | |
tree | 34a18c008810c455d2c79a0f2105a9023a489c4f | |
parent | 79e723cde11d2eba6d45d6c89a3d3109062e675c (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.ac | 1 |
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= |