[scripts] Change cached bootjdk archive name

ev3dev-lang-java · Mar 28, 2018 · c67770f · c67770f
1 parent 9949c4e
commit c67770f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/config.sh b/scripts/config.sh
@@ -53,7 +53,7 @@ if [ "$JDKVER" -eq "9" ]; then
   AUTOGEN_PATH="./common/autoconf/autogen.sh"
   HOTSPOT_VARIANT=client
   HOSTJDK="$BUILDDIR/jdk-9.0.4"
-  HOSTJDK_FILE="$BUILDDIR/openjdk-9.0.4.tar.gz"
+  HOSTJDK_FILE="$BUILDDIR/openjdk-9.0.4_linux-x64_bin.tar.gz"
   HOSTJDK_URL="https://download.java.net/java/GA/jdk9/9.0.4/binaries/openjdk-9.0.4_linux-x64_bin.tar.gz"
 
 # OpenJDK 10
@@ -63,7 +63,7 @@ elif [ "$JDKVER" -eq "10" ]; then
   AUTOGEN_PATH="./make/autoconf/autogen.sh"
   HOTSPOT_VARIANT=client
   HOSTJDK="$BUILDDIR/jdk-10"
-  HOSTJDK_FILE="$BUILDDIR/openjdk-10.tar.gz"
+  HOSTJDK_FILE="$BUILDDIR/openjdk-10_linux-x64_bin.tar.gz"
   HOSTJDK_URL="https://download.java.net/java/GA/jdk10/10/binaries/openjdk-10_linux-x64_bin.tar.gz"
 
 # invalid or unset version