2023-10-25 17:59:59 +02:00
|
|
|
--- commons-pool-1.6-src/build.xml 2023-10-25 17:55:14.362760902 +0200
|
|
|
|
|
+++ commons-pool-1.6-src/build.xml 2023-10-25 17:56:28.323265075 +0200
|
2017-09-14 16:20:20 +02:00
|
|
|
@@ -61,8 +61,8 @@
|
|
|
|
|
<property name="javac.optimize" value="false"/>
|
|
|
|
|
<property name="javac.debug" value="true"/>
|
|
|
|
|
<property name="javac.deprecation" value="true"/>
|
|
|
|
|
- <property name="javac.target.version" value="1.5"/>
|
|
|
|
|
- <property name="javac.src.version" value="1.5"/>
|
2018-05-15 15:11:08 +02:00
|
|
|
+ <property name="javac.target.version" value="8"/>
|
|
|
|
|
+ <property name="javac.src.version" value="8"/>
|
2017-09-14 16:20:20 +02:00
|
|
|
</target>
|
|
|
|
|
|
|
|
|
|
<!-- ######################################################### -->
|
2023-10-25 17:59:59 +02:00
|
|
|
@@ -108,6 +108,7 @@
|
|
|
|
|
debug="${javac.debug}"
|
|
|
|
|
deprecation="${javac.deprecation}"
|
|
|
|
|
optimize="${javac.optimize}"
|
|
|
|
|
+ release="${javac.target.version}"
|
|
|
|
|
target="${javac.target.version}"
|
|
|
|
|
source="${javac.src.version}"/>
|
|
|
|
|
</target>
|
|
|
|
|
@@ -119,6 +120,7 @@
|
|
|
|
|
debug="${javac.debug}"
|
|
|
|
|
deprecation="${javac.deprecation}"
|
|
|
|
|
optimize="${javac.optimize}"
|
|
|
|
|
+ release="${javac.target.version}"
|
|
|
|
|
target="${javac.target.version}"
|
|
|
|
|
source="${javac.src.version}">
|
|
|
|
|
<classpath>
|
