File joda-time-1.6-sourcetarget.patch of Package joda-time
--- joda-time-1.6-src/build.xml 2008-10-28 01:13:44.000000000 +0100
+++ joda-time-1.6-src/build.xml 2017-09-19 11:32:14.760904280 +0200
@@ -79,6 +79,12 @@
<!-- Should Java compilations set the 'optimize' compiler option? -->
<property name="compile.optimize" value="true"/>
+ <!-- Should Java compilations set the 'source' compiler option? -->
+ <property name="compile.source" value="1.3"/>
+
+ <!-- Should Java compilations set the 'target' compiler option? -->
+ <property name="compile.target" value="1.3"/>
+
<!-- Construct compile classpath -->
<path id="compile.classpath">
<pathelement location="${build.classes}"/>
@@ -181,7 +187,8 @@
debuglevel="${compile.debuglevel}"
deprecation="${compile.deprecation}"
optimize="${compile.optimize}"
- source="1.3" target="1.3">
+ source="${compile.source}"
+ target="${compile.target}">
<classpath refid="compile.classpath"/>
</javac>
</target>
@@ -227,7 +234,9 @@
destdir="${build.tests}"
debug="${compile.debug}"
deprecation="${compile.deprecation}"
- optimize="${compile.optimize}">
+ optimize="${compile.optimize}"
+ source="${compile.source}"
+ target="${compile.target}">
<classpath refid="test.classpath"/>
</javac>
<copy todir="${build.tests}" filtering="on">
@@ -251,6 +260,7 @@
author="true"
private="false"
package="false"
+ source="${compile.source}"
version="true"
use="yes"
splitindex="yes"