rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-20 14:54:31 +01:00
Code Issues Releases Activity

Merge pull request #2710 from ffissore/windows-jre-update

Browse Source 
Windows: bundled JRE updated to 8u31
This commit is contained in:
Federico Fissore 2015-03-02 14:18:25 +01:00
commit ba36769ae4
2 changed files with 7 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
build/build.xml
View File

@ -888,19 +888,12 @@
<target name="windows-dist" depends="windows-build"
description="Create .zip files of windows version">
<get src="http://arduino.cc/download.php?f=/jre_7u40_windows_i586.zip" dest="windows/jre.zip" usetimestamp="true" skipexisting="true" />
<unzip dest="windows/work" src="windows/jre.zip" overwrite="false"/>
<!--
<zip basedir="windows/work"
prefix="arduino-${version}"
destfile="windows/arduino-${version}.zip" />
<zip basedir="windows/work"
prefix="arduino-${version}"
destfile="windows/arduino-${version}-expert.zip"
excludes="java/**" />
-->
<antcall target="unzip">
<param name="archive_file" value="windows/jre-8u31.zip" />
<param name="archive_url" value="http://arduino.cc/download.php?f=/jre-8u31.zip" />
<param name="final_folder" value="${staging_folder}/work/java" />
<param name="dest_folder" value="${staging_folder}/work/" />
</antcall>
<zip destfile="windows/arduino-${version}-${platform}.zip" level="9">
<zipfileset dir="windows/work"

1
build/windows/jre-8u31.zip.sha Normal file
View File

@ -0,0 +1 @@
17bf4f25babaf70bdb68fd3464be163eb769c074