diff options
author | Daniel Bermond | 2019-03-26 20:34:14 +0000 |
---|---|---|
committer | Daniel Bermond | 2019-03-26 20:34:14 +0000 |
commit | f684ed1a495e0741971f834c8ee84e3d78a40f52 (patch) | |
tree | 3d33d3221703bd2e506d0c40826ff158fb961455 /jre.install | |
parent | 92e324f85872f29eb5b7232f25015b20463b5a25 (diff) | |
download | aur-f684ed1a495e0741971f834c8ee84e3d78a40f52.tar.gz |
Updated to version 12
Diffstat (limited to 'jre.install')
-rw-r--r-- | jre.install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jre.install b/jre.install index 512d7a1df4fc..4e577ce9fdac 100644 --- a/jre.install +++ b/jre.install @@ -1,4 +1,4 @@ -THIS_JRE='java-11-jdk' +THIS_JRE='java-12-jdk' fix_default() { if [ ! -x /usr/bin/java ]; then |