build-many-glibcs.py: also build profiled objects

Message ID 87fue6hh9c.fsf@linux-m68k.org
State Committed
Commit 218bb835cd0c7b4e3c068d0657efd3dae2551166
Headers

Commit Message

Andreas Schwab July 8, 2017, 7:15 p.m. UTC
  This increases the test coverage.  Committed.

Andreas.

	* scripts/build-many-glibcs.py (Glibc.build_glibc): Also build
	profiled objects.
  

Patch

diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py
index 6e5ef91c4d..5fbb564a14 100755
--- a/scripts/build-many-glibcs.py
+++ b/scripts/build-many-glibcs.py
@@ -1343,6 +1343,7 @@  class Glibc(object):
         cfg_cmd = [os.path.join(srcdir_copy, 'configure'),
                    '--prefix=/usr',
                    '--enable-add-ons',
+                   '--enable-profile',
                    '--build=%s' % self.ctx.build_triplet,
                    '--host=%s' % self.triplet,
                    'CC=%s' % self.tool_name('gcc'),