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

fix arch-bits field

This commit is contained in:
Martino Facchin 2018-06-04 12:58:33 +00:00
parent b99d55ba92
commit e8146f8de4

View File

@ -59,7 +59,7 @@
<condition property="arch-bits" value="64">
<equals arg1="${platform}" arg2="linux64"/>
</condition>
<condition property="arch-bits" value="32">
<condition property="arch-bits" value="64">
<equals arg1="${platform}" arg2="linuxaarch64"/>
</condition>