add support for arm host

facchinm · facchinm · commit 7b7d10535446 · 2015-04-24T16:32:18.000+02:00
Former-commit-id: d25cefb
diff --git a/arduino b/arduino
@@ -1 +1 @@
-Subproject commit 7e840da7af687d6864c62ba5cb6a5f04d118ddd6
+Subproject commit ed327f793f80f2a22b1cf35653ea6129e99ef4ba
diff --git a/compile_webidebridge.sh b/compile_webidebridge.sh
@@ -9,6 +9,10 @@ cp -r arduino/tools_linux_32  arduino/tools
 goxc -os="linux" -arch="386" --include="arduino/hardware,arduino/tools" -n="Arduino_WebIDE_Bridge" -d=.
 rm -rf arduino/tools
 
+cp -r arduino/tools_linux_arm  arduino/tools
+goxc -os="linux" -arch="arm" --include="arduino/hardware,arduino/tools" -n="Arduino_WebIDE_Bridge" -d=.
+rm -rf arduino/tools
+
 cp -r arduino/tools_windows  arduino/tools
 goxc -os="windows" --include="arduino/hardware,arduino/tools" -n="Arduino_WebIDE_Bridge" -d=.
 rm -rf arduino/tools
