From 2b63d1727183516cc57dbea2ea9c5f913e82a0fc Mon Sep 17 00:00:00 2001
From: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Date: Sat, 6 Aug 2016 18:27:27 +0000
Subject: [PATCH] armel-is-v4t

Gbp-Pq: Name armel-is-v4t.diff
---
 CONFIG/src/backend/probe_gas_arm.S | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/CONFIG/src/backend/probe_gas_arm.S b/CONFIG/src/backend/probe_gas_arm.S
index da11618..471b704 100644
--- 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)
-- 
2.30.2