From 1230bd86918a8002b9338c9a3cf723179bbf1afe Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Thu, 5 Aug 2021 15:26:14 +0200
Subject: extra/java-openjdk: pin bootstrap jdk

---
 extra/java-openjdk/PKGBUILD | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/extra/java-openjdk/PKGBUILD b/extra/java-openjdk/PKGBUILD
index 04fcdca1..9284bb09 100644
--- a/extra/java-openjdk/PKGBUILD
+++ b/extra/java-openjdk/PKGBUILD
@@ -36,3 +36,7 @@ eval "$(
        s/--with-jvm-features=zgc//
     '
 )"
+
+# we need a OpenJdk which is at least 14, setting it to 15
+makedepends=(${makedepends[@]//java-environment>=11/})
+makedepends+=('java-environment>=15')
-- 
cgit v1.2.3-70-g09d2