diff options
author | Your Name | 2018-10-11 00:24:52 -0400 |
---|---|---|
committer | Your Name | 2018-10-11 00:24:52 -0400 |
commit | 595cee0e21f07a65f4bddaa3f5036fc42e0dd76b (patch) | |
tree | 566058c67cc0f7a32e493df7ca508a47b6f5563d | |
parent | 70d2b41bb553ed204ebfaf617b2f4d5d1c32abd7 (diff) | |
download | aur-595cee0e21f07a65f4bddaa3f5036fc42e0dd76b.tar.gz |
fix for new ant version
-rwxr-xr-x | PKGBUILD | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -72,11 +72,10 @@ fi } build() { - source /etc/profile.d/apache-ant.sh - source /etc/profile.d/jre.sh + export ANT_HOME=/usr/share/ant + export ANT_OPTS="-Dfile.encoding=UTF-8" export JAVA_HOME="${JAVA_HOME:-/usr/lib/jvm/default}" - build_jbigi build_jcpuid |