--- build/build.xml~ 2013-08-05 15:28:39.000000000 +0100
+++ build/build.xml 2013-08-05 16:01:32.000000000 +0100
@@ -18,7 +18,7 @@
<condition property="platform"
value="linux32"><os family="unix" arch="i386" /></condition>
<condition property="platform"
- value="linux64"><os family="unix" arch="amd64" /></condition>
+ value="linux64"><os family="unix" /></condition>
<!-- Libraries required for running arduino -->
<fileset dir=".." id="runtime.jars">