diff options
author | AsamK | 2019-07-10 21:49:21 +0200 |
---|---|---|
committer | AsamK | 2019-07-10 21:49:21 +0200 |
commit | aa5d939bf1a04a57a416ce538fefc4f735b0d89e (patch) | |
tree | 46832f99cce42f6b7760ae810a5675336ae648c2 | |
parent | d443bca1e336ecf0a228d5fa65dcf0a1904b3624 (diff) | |
download | aur-aa5d939bf1a04a57a416ce538fefc4f735b0d89e.tar.gz |
Fix build with openjdk 12
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -19,8 +19,8 @@ prepare() { cd ${_pkgname}-${_pkgver} - # source 1.5 not working in jdk 10 anymore - sed -i "s/JVERCFLAGS+=-source 1.5/JVERCFLAGS+=-source 1.6/g" Makefile + # source 1.5 not working in jdk 12 anymore + sed -i "s/JVERCFLAGS+=-source 1.5/JVERCFLAGS+=-source 1.7/g" Makefile } build() { |