diff options
-rw-r--r-- | python/servo/command_base.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index ece5e134141..7786d1d5a34 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -381,7 +381,8 @@ class CommandBase(object): env['RUSTDOC'] = path.join(self.context.topdir, 'etc', 'rustdoc-with-private') - if self.config["tools"]["rustc-with-gold"]: + # Don't run the gold linker if on Windows https://github.com/servo/servo/issues/9499 + if self.config["tools"]["rustc-with-gold"] and sys.platform not in ("win32", "msys"): if subprocess.call(['which', 'ld.gold'], stdout=PIPE, stderr=PIPE) == 0: env['RUSTC'] = path.join(self.context.topdir, 'etc', 'rustc-with-gold') |