Hard-code OpenJDK 12 URI, for now

#45
sormuras · Mar 20, 2019 · c004484 · c004484
1 parent 132f607
commit c004484
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/install-jdk.sh b/install-jdk.sh
@@ -202,6 +202,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/GPL/openjdk-12_linux-x64_bin.tar.gz"; return;;
     esac
 
     # EA or RC build?