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)