diff options
Diffstat (limited to 'scripts/build-many-glibcs.py')
| -rwxr-xr-x | scripts/build-many-glibcs.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py index 8a2e068577..fbb701e25d 100755 --- a/scripts/build-many-glibcs.py +++ b/scripts/build-many-glibcs.py @@ -1329,6 +1329,8 @@ class Config(object): tool_build = 'gcc' cfg_opts += ['--enable-languages=c,c++', '--enable-shared', '--enable-threads'] + if self.os == 'gnu': + cfg_opts += ['--disable-libcilkrts'] self.build_cross_tool(cmdlist, 'gcc', tool_build, cfg_opts) |