diff options
| author | Andreas Schwab <schwab@linux-m68k.org> | 2017-07-08 21:08:34 +0200 |
|---|---|---|
| committer | Andreas Schwab <schwab@linux-m68k.org> | 2017-07-08 21:09:03 +0200 |
| commit | 218bb835cd0c7b4e3c068d0657efd3dae2551166 (patch) | |
| tree | a9c93b11584204b1065ff04bb05316dd78934ef2 /scripts/build-many-glibcs.py | |
| parent | 51e945a8f950a6695754b11c1e6fba8bb750e100 (diff) | |
build-many-glibcs.py: also build profiled objects
Diffstat (limited to 'scripts/build-many-glibcs.py')
| -rwxr-xr-x | scripts/build-many-glibcs.py | 1 |
1 files changed, 1 insertions, 0 deletions
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'), |