diff --git a/build.xml b/build.xml
index 2c5421663f..7a079197be 100644
--- a/build.xml
+++ b/build.xml
@@ -202,6 +202,9 @@
         <condition property="noExe">
 	    <os arch="ppc" />
 	</condition>
+	<condition property="noExe">
+	    <os arch="armv5tejl" />
+        </condition>
         <condition property="noExe">
 	    <os arch="amd64" />
 	</condition>