mirror of
https://github.com/esp8266/Arduino.git
synced 2025-06-17 22:23:10 +03:00
Removed jre.zip from windows: is now downloaded at "dist" time
Upgraded bundled java to version 7u40 (latest stable): closes #1405
This commit is contained in:
@ -712,9 +712,7 @@
|
|||||||
<target name="windows-dist" depends="windows-build"
|
<target name="windows-dist" depends="windows-build"
|
||||||
description="Create .zip files of windows version">
|
description="Create .zip files of windows version">
|
||||||
|
|
||||||
<!--get src="http://dev.processing.org/build/jre-tools-6u18-windows-i586.zip"
|
<get src="http://downloads.arduino.cc/jre_7u40_windows_i586.zip" dest="windows/jre.zip" usetimestamp="true" />
|
||||||
dest="windows/jre.zip"
|
|
||||||
usetimestamp="true" /-->
|
|
||||||
|
|
||||||
<unzip dest="windows/work" src="windows/jre.zip" overwrite="false"/>
|
<unzip dest="windows/work" src="windows/jre.zip" overwrite="false"/>
|
||||||
|
|
||||||
|
Binary file not shown.
Reference in New Issue
Block a user