diff --git a/build/arduino-builder-arm-1.3.23.tar.bz2.sha b/build/arduino-builder-linuxarm-1.3.23.tar.bz2.sha similarity index 100% rename from build/arduino-builder-arm-1.3.23.tar.bz2.sha rename to build/arduino-builder-linuxarm-1.3.23.tar.bz2.sha diff --git a/build/build.xml b/build/build.xml index 1dce9ad14..972e9c67b 100644 --- a/build/build.xml +++ b/build/build.xml @@ -472,21 +472,7 @@ - - - - - - - - - - - - - - - + @@ -706,21 +692,7 @@ - - - - - - - - - - - - - - - + @@ -738,21 +710,7 @@ - - - - - - - - - - - - - - - + @@ -770,21 +728,7 @@ - - - - - - - - - - - - - - - + @@ -827,6 +771,24 @@ + + + + + + + + + + + + + + + + + +