imagej/imagej-1.50-patch2.patch
2020-07-19 23:21:05 +02:00

21 lines
866 B
Diff

diff --git a/build.xml b/build.xml
index 50eb7b7..a2de603 100644
--- a/build.xml
+++ b/build.xml
@@ -6,7 +6,7 @@
<!-- First, ensure the build directory exists. -->
<mkdir dir="build" />
<!-- Build everything; add debug="on" to debug -->
- <javac srcdir="." destdir="build" optimize="on" source="1.5" target="1.5" debug="on" includeantruntime="false">
+ <javac srcdir="." destdir="build" optimize="on" source="1.8" target="1.8" debug="on" includeantruntime="false" encoding="UTF-8">
<!-- The plugins directory only needs to be
present at runtime, not at build time. -->
<exclude name="plugins/**"/>
@@ -60,6 +60,7 @@
<javadoc
sourcepath="."
packagenames="ij.*"
+ encoding="UTF-8"
destdir="../api"
author="true"
version="true"