Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 22:15:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #23701 - servo:jdm-patch-30, r=Manishearth

Browse source 
Don't suppress build errors.

This is a regression from #23676.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/23701)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2019-07-03 18:05:24 -04:00 • committed by GitHub
commit c9d7b4e726
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
python/servo/build_commands.py
View file

@ -535,7 +535,6 @@ class MachCommands(CommandBase):
target=target, android=android, magicleap=magicleap, libsimpleservo=libsimpleservo,
features=features, **kwargs
)
status = 0
elapsed = time() - build_start