diff options
author | Andreas Baumann <mail@andreasbaumann.cc> | 2021-08-05 15:26:14 +0200 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2021-08-05 15:26:14 +0200 |
commit | 1230bd86918a8002b9338c9a3cf723179bbf1afe (patch) | |
tree | 346865eca7a75d04b209b53e364f7621e817bacd /extra/java-openjdk/PKGBUILD | |
parent | 3d3628f97a44cba1c4c6f3cf34fd0b0830ce2069 (diff) | |
download | packages-1230bd86918a8002b9338c9a3cf723179bbf1afe.tar.xz |
extra/java-openjdk: pin bootstrap jdk
Diffstat (limited to 'extra/java-openjdk/PKGBUILD')
-rw-r--r-- | extra/java-openjdk/PKGBUILD | 4 |
1 files changed, 4 insertions, 0 deletions
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') |