diff options
| -rw-r--r-- | ChangeLog | 2 | ||||
| -rwxr-xr-x | scripts/build-many-glibcs.py | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 497b00f65a..88f6d93c12 100644 --- a/ChangeLog +++ b/ChangeLog @@ -17,6 +17,8 @@ instead of void *. * sysdeps/pthread/timer_create.c (timer_create): Do not use timer_ptr2id to cast struct timer_node * to void *. + * scripts/build-many-glibcs.py [os == gnu] (build_gcc): Pass + --disable-libcilkrts to gcc configure. 2018-01-27 James Clarke <jrtc27@jrtc27.com> 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) |