armel-is-v4t

Gbp-Pq: Name armel-is-v4t.diff

diff --git a/CONFIG/src/backend/probe_gas_arm.S b/CONFIG/src/backend/probe_gas_arm.S
index da116182f1abae2cdcd041478e918095b4dc0d26..471b70486baf622a2cba309250a3f94aaec11e22 100644 (file)
--- a/CONFIG/src/backend/probe_gas_arm.S
+++ b/CONFIG/src/backend/probe_gas_arm.S
@@ -1,5 +1,8 @@
 #define ATL_GAS_ARM
 #include "atlas_asm.h"
+#ifdef __ARM_ARCH_4T__
+#error "Debian armel is only v4t, but ATLAS needs a more recent ISA"
+#endif
 #
 # Linux ARM assembler for:
 # int asm_probe(int i)