File mono-arm-cpuinfo-v5.patch of Package mono-core.1407

Index: mono-3.0.2/mono/mini/mini-arm.c
===================================================================
--- mono-3.0.2.orig/mono/mini/mini-arm.c
+++ mono-3.0.2/mono/mini/mini-arm.c
@@ -721,6 +721,9 @@ mono_arch_cpu_optimizations (guint32 *ex
 	v5_supported = TRUE;
 	darwin = TRUE;
 	iphone_abi = TRUE;
+#elif 1
+	thumb_supported = TRUE;
+	v5_supported = TRUE;
 #else
 	char buf [512];
 	char *line;