summaryrefslogtreecommitdiff
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',