Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 04:30:10 +01:00
Code Issues Projects Releases Packages Wiki Activity

Use the gold linker when available.

Browse source 
This shaves 50 seconds off the build time on my machine.
This commit is contained in:
Simon Sapin 2015-08-15 12:02:06 +02:00
parent d4d18f51f2
commit fb7a53c6cf
3 changed files with 8 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
python/servo/command_base.py
View file

@ -302,6 +302,9 @@ class CommandBase(object):
if hosts_file_path:
env['HOST_FILE'] = hosts_file_path
env['RUSTDOC'] = path.join(self.context.topdir, 'etc', 'rustdoc-with-private')
env['RUSTC'] = path.join(self.context.topdir, 'etc', 'rustc-with-gold')
return env
def servo_crate(self):

4
python/servo/post_build_commands.py
View file

@ -156,10 +156,8 @@ class MachCommands(CommandBase):
else:
copy2(full_name, destination)
env = self.build_env()
env['RUSTDOC'] = '../../etc/rustdoc-with-private'
return subprocess.call(["cargo", "doc"] + params,
env=env, cwd=self.servo_crate())
env=self.build_env(), cwd=self.servo_crate())
@Command('browse-doc',
description='Generate documentation and open it in a web browser',