diff options
author | Daniel Bermond | 2020-09-16 23:47:23 +0000 |
---|---|---|
committer | Daniel Bermond | 2020-09-16 23:47:23 +0000 |
commit | b4b1ce83b7b9db53f09d28402222d6cbcf73d978 (patch) | |
tree | f02681627c142d1dc6382c473e1dd58ea24d3f26 /jdk.install | |
parent | 44a2ba82c63c7676e29b332cfe5d3005122da243 (diff) | |
download | aur-b4b1ce83b7b9db53f09d28402222d6cbcf73d978.tar.gz |
Updated to version 15
This is a now a split package with both jdk and jre for easier
maintenance.
Diffstat (limited to 'jdk.install')
-rw-r--r-- | jdk.install | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jdk.install b/jdk.install index 8fdeedcb65d1..1e128c1fcb9d 100644 --- a/jdk.install +++ b/jdk.install @@ -1,4 +1,4 @@ -THIS_JDK='java-14-jdk' +THIS_JDK='java-15-jdk' fix_default() { if [ ! -x /usr/bin/java ]; then @@ -42,7 +42,7 @@ post_upgrade() { pre_remove() { if [ "x$(fix_default)" = "x${THIS_JDK}" ]; then - # Check JRE14 is still available + # Check JRE15 is still available if [ -x /usr/lib/jvm/${THIS_JDK}/bin/java ]; then /usr/bin/archlinux-java unset fi |