about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog3
-rwxr-xr-xscripts/build-many-glibcs.py6
2 files changed, 7 insertions, 2 deletions
diff --git a/ChangeLog b/ChangeLog
index 35c258cc1f..00161628c5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2017-12-15  Joseph Myers  <joseph@codesourcery.com>
 
+	* scripts/build-many-glibcs.py (Context.add_all_configs): Use
+	--with-float=hard for arm-linux-gnueabihf configurations.
+
 	[BZ #14121]
 	* po/Makefile (generated): Add $(ALL_LINGUAS:%=%.mo).
 	(%.mo): Change to $(objpfx)%.mo.  Use $(make-target-directory).
diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py
index 599e12e355..5453000df0 100755
--- a/scripts/build-many-glibcs.py
+++ b/scripts/build-many-glibcs.py
@@ -175,17 +175,19 @@ class Context(object):
                         gcc_cfg=['--with-arch=armv7-a'])
         self.add_config(arch='arm',
                         os_name='linux-gnueabihf',
+                        gcc_cfg=['--with-float=hard'],
                         extra_glibcs=[{'variant': 'v7a',
                                        'ccopts': '-march=armv7-a'},
                                       {'variant': 'v7a-disable-multi-arch',
                                        'ccopts': '-march=armv7-a',
                                        'cfg': ['--disable-multi-arch']}])
         self.add_config(arch='armeb',
-                        os_name='linux-gnueabihf')
+                        os_name='linux-gnueabihf',
+                        gcc_cfg=['--with-float=hard'])
         self.add_config(arch='armeb',
                         os_name='linux-gnueabihf',
                         variant='be8',
-                        gcc_cfg=['--with-arch=armv7-a'])
+                        gcc_cfg=['--with-float=hard', '--with-arch=armv7-a'])
         self.add_config(arch='hppa',
                         os_name='linux-gnu')
         self.add_config(arch='ia64',