From ac16e9fd0fde714464fbef4719e1a341208d5a93 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sun, 29 Mar 2020 12:29:03 +0200
Subject: fix mismatch between hardware FP and software FP on ARM

---
 config_arm.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'config_arm.sh')

diff --git a/config_arm.sh b/config_arm.sh
index eed55fab..1861e029 100755
--- a/config_arm.sh
+++ b/config_arm.sh
@@ -1 +1 @@
-exec ./config_simple.sh arm-linux --toolprefix arm-linux-gnueabihf- "$@"
+exec ./config_simple.sh arm-linux --toolprefix arm-linux-gnueabi- "$@"
-- 
cgit