|
 |
84a88bf |
--- build.xml.orig 2018-03-20 15:15:57.063810672 +0000
|
|
|
84a88bf |
+++ build.xml 2018-03-20 15:16:26.018700633 +0000
|
|
|
84a88bf |
@@ -15,16 +15,20 @@
|
|
|
84a88bf |
<property name="output" value="bin" />
|
|
|
84a88bf |
<property name="jar_file" value="ecj.jar" />
|
|
|
84a88bf |
|
|
|
84a88bf |
+ <path id="build.path">
|
|
|
1f7e114 |
+ <pathelement path="${javaapi}"/>
|
|
|
84a88bf |
+ <pathelement path="/usr/lib/jvm/java-1.8.0/jre/lib/rt.jar"/>
|
|
|
84a88bf |
+ </path>
|
|
|
84a88bf |
<target name="build">
|
|
|
84a88bf |
<delete file="${basedir}/${jar_file}" failonerror="no" />
|
|
|
84a88bf |
<delete dir="${output}" failonerror="no" />
|
|
|
84a88bf |
<mkdir dir="${output}" />
|
|
|
84a88bf |
|
|
|
84a88bf |
-
|
|
|
84a88bf |
- debuglevel="lines,source"
|
|
|
84a88bf |
+
|
|
|
84a88bf |
+ debug="yes"
|
|
|
84a88bf |
source="1.8"
|
|
|
84a88bf |
target="1.8">
|
|
|
84a88bf |
- <compilerarg line="-Xlint:none"/>
|
|
|
49b83fd |
+ <compilerarg line="-Xlint:none -encoding cp1252"/>
|
|
|
84a88bf |
</javac>
|
|
|
84a88bf |
|
|
|
84a88bf |
<delete file="${basedir}/META-INF/MANIFEST.MF" failonerror="false"/>
|