From 32d0fd34a8c041b42f09538098f4fa95e1f5f155 Mon Sep 17 00:00:00 2001
From: Andreas Dangel <andreas.dangel@adangel.org>
Date: Sat, 27 Apr 2019 16:54:28 +0200
Subject: [PATCH] Support openjdk11 for macosx as well

---
 .travis/install-openjdk.sh | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/.travis/install-openjdk.sh b/.travis/install-openjdk.sh
index 87a51d1b38..463efd5ccf 100644
--- a/.travis/install-openjdk.sh
+++ b/.travis/install-openjdk.sh
@@ -1,4 +1,18 @@
-OPENJDK_ARCHIVE=OpenJDK11U-x64_linux_11.0.3_7.tar.gz
+#
+# Original sources:
+# Linux: https://github.com/AdoptOpenJDK/openjdk11-upstream-binaries/releases/jdk-11.0.3%2B7/
+#        https://github.com/AdoptOpenJDK/openjdk11-upstream-binaries/releases/download/jdk-11.0.3%2B7/OpenJDK11U-x64_linux_11.0.3_7.tar.gz
+# MacOSX: https://github.com/AdoptOpenJDK/openjdk11-binaries/releases/jdk-11.0.3%2B7/
+#         https://github.com/AdoptOpenJDK/openjdk11-binaries/releases/download/jdk-11.0.3%2B7/OpenJDK11U-jdk_x64_mac_hotspot_11.0.3_7.tar.gz
+#
+
+
+if [[ "$OSTYPE" == "darwin"* ]]; then
+    OPENJDK_ARCHIVE=OpenJDK11U-jdk_x64_mac_hotspot_11.0.3_7.tar.gz
+else
+    OPENJDK_ARCHIVE=OpenJDK11U-x64_linux_11.0.3_7.tar.gz
+fi
+
 DOWNLOAD_URL=https://pmd-code.org/${OPENJDK_ARCHIVE}
 LOCAL_DIR=${HOME}/.cache/openjdk
 TARGET_DIR=${HOME}/openjdk11