pr-builder: Build linux64 first

Author: cmaglie

build/build_all_dist.bash

@@ -6,12 +6,12 @@ cd $DIR
 rm -f ../arduino-*.tar.xz
 rm -f ../arduino-*.zip
 
-ant -Djava.net.preferIPv4Stack=true -Dplatform=linux32 $@ clean dist
-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=linux32 $@ clean dist
+mv linux/arduino-*-linux32.tar.xz ../
+
 ant -Djava.net.preferIPv4Stack=true -Dplatform=linuxarm $@ clean dist
 mv linux/arduino-*-linuxarm.tar.xz ../