diff options
author | Rene Engelhard <rene@debian.org> | 2018-05-09 23:20:23 +0000 |
---|---|---|
committer | Rene Engelhard <rene@debian.org> | 2018-05-10 22:44:37 +0200 |
commit | e37135d4139f7c614c46fff6f82d519a05f1d9f8 (patch) | |
tree | 49616085b2807e2972d22f86efa4e46ceac10250 /config_host/config_features.h.in | |
parent | a4d35e9ed6b26d329d05bc4f39e21aac34510e0a (diff) |
move Java from config_features to already existing config_java
Change-Id: I085fab2bcdc5910d1386fc20768fe7063ce3e28e
Reviewed-on: https://gerrit.libreoffice.org/54071
Reviewed-by: Rene Engelhard <rene@debian.org>
Tested-by: Rene Engelhard <rene@debian.org>
Diffstat (limited to 'config_host/config_features.h.in')
-rw-r--r-- | config_host/config_features.h.in | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/config_host/config_features.h.in b/config_host/config_features.h.in index 75845dcf3286..d631ae1c0e42 100644 --- a/config_host/config_features.h.in +++ b/config_host/config_features.h.in @@ -7,14 +7,6 @@ #ifndef CONFIG_FEATURES_H #define CONFIG_FEATURES_H -/* JAVA - * - * Whether we have support for Java extensions, and use own Java - * functionality). - */ - -#define HAVE_FEATURE_JAVA 0 - /* DESKTOP - Whether we have a "normal" desktop UI or not. * * Non-DESKTOP in practice means touch-based mobile devices, Android |