diff options
author | Andrea Gelmini <andrea.gelmini@gelma.net> | 2019-04-10 16:05:25 +0000 |
---|---|---|
committer | Julien Nabet <serval2412@yahoo.fr> | 2019-04-17 10:47:50 +0200 |
commit | 8a64a0a5819532517cf4a3f7e18b9d323e1aa31d (patch) | |
tree | a17614d2f01cfe5aef211058a4651ce6966522f2 /configure.ac | |
parent | 6607e2915e64e9d371be96632431959e5fd86b76 (diff) |
Fix typo
Change-Id: I633047306372ce285bf3531c609f364addf927c8
Reviewed-on: https://gerrit.libreoffice.org/70854
Reviewed-by: Julien Nabet <serval2412@yahoo.fr>
Tested-by: Julien Nabet <serval2412@yahoo.fr>
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 71e75103d38f..355e85bedff9 100644 --- a/configure.ac +++ b/configure.ac @@ -7240,7 +7240,7 @@ if test "$ENABLE_JAVA" != ""; then # check if JAVA_HOME was (maybe incorrectly?) set automatically to /usr if test "$JAVA_HOME" = "/usr" -a "x$with_jdk_home" = "x"; then if basename $(readlink $(readlink $JAVACOMPILER)) >/dev/null 2>/dev/null; then - # try to recover first by looking whether we have a alternatives + # try to recover first by looking whether we have an alternative # system as in Debian or newer SuSEs where following /usr/bin/javac # over /etc/alternatives/javac leads to the right bindir where we # just need to strip a bit away to get a valid JAVA_HOME |