java home for JDK 1.8 can also be found in registry

Change-Id: I0179696962c300792f75bf41171514be3ddaa76e

java home for JDK 1.8 can also be found in registry
Change-Id: I0179696962c300792f75bf41171514be3ddaa76e
7f62b444 · Christian Lohmaier · f6de3b71 · 7f62b444
Kaydet (Commit) 7f62b444 authored Nis 19, 2014 tarafından Christian Lohmaier
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

configure.ac configure.ac +1 -1

No files found.
--- a/configure.ac
+++ b/configure.ac
@@ -6712,7 +6712,7 @@ if test "$ENABLE_JAVA" != ""; then
        fi

        if test -z "$with_jdk_home"; then
-            for ver in 1.7 1.6; do
+            for ver in 1.8 1.7 1.6; do
               reg_get_value_$bitness "HKEY_LOCAL_MACHINE/SOFTWARE/JavaSoft/Java Development Kit/$ver/JavaHome"
               if test -n "$regvalue"; then
                   _jdk_home=$regvalue