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

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.

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