From 628711d223b43d2d38dde244ff0edc7582eb3086 Mon Sep 17 00:00:00 2001
From: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Date: Wed, 18 Dec 2019 15:38:15 +0000
Subject: [PATCH] arm-gcc-flags

Gbp-Pq: Name arm-gcc-flags.patch
---
 Makefile.arm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.arm b/Makefile.arm
index b5d80f8..df0fded 100644
--- a/Makefile.arm
+++ b/Makefile.arm
@@ -9,6 +9,6 @@ endif
 endif
 
 ifeq ($(CORE), ARMV6)
-CCOMMON_OPT += -mfpu=vfp
-FCOMMON_OPT += -mfpu=vfp
+CCOMMON_OPT += -mfpu=vfpv3-d16 -march=armv7-a
+FCOMMON_OPT += -mfpu=vfpv3-d16 -march=armv7-a
 endif
-- 
2.30.2