1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-28 09:24:14 +01:00

Switching to Java 8

This commit is contained in:
Federico Fissore 2015-06-16 09:24:34 +02:00
parent 9ea3de4bb2
commit 91df9b1901
2 changed files with 4 additions and 4 deletions

View File

@ -73,7 +73,7 @@
<echo message="override ${env.JAVA_HOME}/lib/tools.jar" />
<fail />
-->
<javac source="1.6" target="1.6"
<javac source="1.8" target="1.8"
srcdir="src"
destdir="bin"
encoding="UTF-8"
@ -85,7 +85,7 @@
<target name="test" depends="compile" description="Runs the test">
<mkdir dir="test-bin"/>
<javac source="1.6" target="1.6"
<javac source="1.8" target="1.8"
srcdir="test"
destdir="test-bin"
encoding="UTF-8"

View File

@ -31,8 +31,8 @@
<property environment="env" />
<property name="java_home" value="${env.JAVA_HOME}" />
<javac source="1.6"
target="1.6"
<javac source="1.8"
target="1.8"
encoding="UTF-8"
includeAntRuntime="false"
srcdir="src"