1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-17 06:52:18 +01:00

ant windows build

This commit is contained in:
Federico Fissore 2013-02-20 13:33:09 +01:00
parent 024dcf05f9
commit 0ce79a11eb

View File

@ -63,7 +63,7 @@
<condition property="java.additional.library.path" value=".">
<os family="windows"/>
</condition>
<condition property="java.additional.jvmargs" value="-d32">
<condition property="java.additional.jvmargs" value="-Ddummy=0">
<os family="windows"/>
</condition>
<condition property="work.dir" value="../build/linux/work/">