diff --git a/build/build.xml b/build/build.xml
index e244a0261..8a02609b5 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -26,7 +26,7 @@
-
+
@@ -34,25 +34,25 @@
-
+
-
+
-
+
-
+
@@ -65,10 +65,12 @@
+
+
@@ -79,6 +81,9 @@
+
+
+
@@ -684,9 +689,9 @@
-
+
-
+
@@ -796,7 +801,7 @@
-
+
@@ -806,7 +811,7 @@
-
+
@@ -889,13 +894,13 @@
+ description="Build .tar.xz of linux x86_32 version" />
+ description="Build .tar.xz of linux x86_64 version" />
-
+
diff --git a/build/build_all_dist.bash b/build/build_all_dist.bash
index 0e98b827c..4d1c60e35 100755
--- a/build/build_all_dist.bash
+++ b/build/build_all_dist.bash
@@ -12,6 +12,9 @@ mv linux/arduino-*-linux32.tar.xz ../
ant -Djava.net.preferIPv4Stack=true -Dplatform=linux64 $@ clean dist
mv linux/arduino-*-linux64.tar.xz ../
+ant -Djava.net.preferIPv4Stack=true -Dplatform=linuxarm $@ clean dist
+mv linux/arduino-*-linuxarm.tar.xz ../
+
ant -Djava.net.preferIPv4Stack=true -Dplatform=windows $@ clean dist
mv windows/arduino-*-windows.zip ../
diff --git a/build/build_pull_request.bash b/build/build_pull_request.bash
index 2ca6a7092..5fc7a4522 100755
--- a/build/build_pull_request.bash
+++ b/build/build_pull_request.bash
@@ -18,5 +18,5 @@ fi
VERSION="PR-${ghprbPullId}-BUILD-${BUILD_NUMBER}"
-./build_all_dist.bash -Dversion="${VERSION}" -DMACOSX_BUNDLED_JVM=$MACOSX_BUNDLED_JVM -DWINDOWS_BUNDLED_JVM=$WINDOWS_BUNDLED_JVM -DLINUX32_BUNDLED_JVM=$LINUX32_BUNDLED_JVM -DLINUX64_BUNDLED_JVM=$LINUX64_BUNDLED_JVM
+./build_all_dist.bash -Dversion="${VERSION}" -DMACOSX_BUNDLED_JVM=$MACOSX_BUNDLED_JVM -DWINDOWS_BUNDLED_JVM=$WINDOWS_BUNDLED_JVM -DLINUX32_BUNDLED_JVM=$LINUX32_BUNDLED_JVM -DLINUX64_BUNDLED_JVM=$LINUX64_BUNDLED_JVM -DLINUXARM_BUNDLED_JVM=$LINUXARM_BUNDLED_JVM