Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-27 09:10:28 +01:00
Code Issues Projects Releases Packages Wiki Activity

Move the servo binary to ports.

Browse source
This commit is contained in:
Ms2ger 2016-04-19 09:46:47 +02:00
parent 3fdce39429
commit 9a5abab442
13 changed files with 155 additions and 104 deletions
Download patch file Download diff file Expand all files Collapse all files

4
python/servo/build_commands.py
View file

@ -214,7 +214,7 @@ class MachCommands(CommandBase):
self.ensure_bootstrapped(target=target)
if debug_mozjs:
features += ["script/debugmozjs"]
features += ["debugmozjs"]
if features:
opts += ["--features", "%s" % ' '.join(features)]
@ -360,7 +360,7 @@ class MachCommands(CommandBase):
servo_features = self.servo_features()
if servo_features:
opts += ["--features", "%s" % ' '.join("servo/" + x for x in servo_features)]
opts += ["--features", "%s" % ' '.join(servo_features)]
build_start = time()
env = self.build_env(is_build=True)