From ff17c8667f9bee5c93ce2ac61b3b8b9548a1654b Mon Sep 17 00:00:00 2001 From: Cristian Maglie Date: Fri, 9 Jun 2017 15:35:59 +0200 Subject: [PATCH] pr-builder: Build linux64 first --- build/build_all_dist.bash | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build/build_all_dist.bash b/build/build_all_dist.bash index 65e67a743..c1dfacdb6 100755 --- a/build/build_all_dist.bash +++ b/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 ../