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

diff --git a/ChangeLog b/ChangeLog
index a7daf6e..f7fe7b9 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2017-07-08  Andreas Schwab  <schwab@linux-m68k.org>
+
+       * scripts/build-many-glibcs.py (Glibc.build_glibc): Also build
+       profiled objects.
+
 2017-07-06  DJ Delorie  <dj@redhat.com>
 
        * manual/tunables.texi: Add missing @end deftp.

diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py
index 6e5ef91..5fbb564 100755 (executable)
--- 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'),