From 3a4b4b5ba9ec6c3ac8677c0c3fa60f6ee713c92c Mon Sep 17 00:00:00 2001
From: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Date: Wed, 16 Aug 2017 21:30:36 +0100
Subject: [PATCH] armel-is-v4t

Gbp-Pq: Name armel-is-v4t.patch
---
 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