Index: /issm/trunk-jpl/configs/config-arm-linux.sh
===================================================================
--- /issm/trunk-jpl/configs/config-arm-linux.sh	(revision 13765)
+++ /issm/trunk-jpl/configs/config-arm-linux.sh	(revision 13766)
@@ -6,5 +6,5 @@
     --host="arm-linux-androideabi" \
     --enable-shared \
-    --with-android\
+    --with-android \
     --without-fortran \
 	--without-wrappers \