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 | |
| 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')
| -rw-r--r-- | config_host/config_features.h.in | 8 | ||||
| -rw-r--r-- | config_host/config_java.h.in | 8 |
2 files changed, 8 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 diff --git a/config_host/config_java.h.in b/config_host/config_java.h.in index 8b23de922488..8f05ec6267cf 100644 --- a/config_host/config_java.h.in +++ b/config_host/config_java.h.in @@ -1,6 +1,14 @@ #ifndef CONFIG_JAVA_H #define CONFIG_JAVA_H +/* JAVA + * + * Whether we have support for Java extensions, and use own Java + * functionality). + */ + +#define HAVE_FEATURE_JAVA 0 + #undef JAVA_ARCH #endif |