Fix URL for OpenJDK 12.0.1

Addresses #46
sormuras · Apr 17, 2019 · fe56033 · fe56033 · karussell · Apr 17, 2019
1 parent 1376e8c
commit fe56033
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/install-jdk.sh b/install-jdk.sh
@@ -23,7 +23,7 @@ set -o errexit
 
 function initialize() {
     readonly script_name="$(basename "${BASH_SOURCE[0]}")"
-    readonly script_version='2019-03-23'
+    readonly script_version='2019-04-17'
 
     dry=false
     silent=false
@@ -205,6 +205,7 @@ function determine_url() {
        # See https://github.com/sormuras/bach/issues/42 for details
        #   11-GPL) url="${DOWNLOAD}/GA/jdk11/9/GPL/openjdk-11.0.2_${os}_bin.tar.gz"; return;;
        11-BCL) url="${ORACLE}/11.0.2+9/f51449fcd52f4d52b93a989c5c56ed3c/jdk-11.0.2_${os}_bin.tar.gz"; return;;
+       12-GPL) url="${DOWNLOAD}/GA/jdk12.0.1/69cfe15208a647278a19ef0990eea691/12/GPL/openjdk-12.0.1_${os}_bin.tar.gz"; return;;
     esac
 
     # EA or RC or GA build?