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

Auto merge of #21766 - servo:jdm-patch-27, r=SimonSapin

Browse source 
Do not suppress errors from packaging android build.

- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #21765

<!-- 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/21766)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2018-09-20 17:00:47 -04:00 • committed by GitHub
commit f11caf381f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
python/servo/build_commands.py
View file

@ -406,8 +406,10 @@ class MachCommands(CommandBase):
# Do some additional things if the build succeeded # Do some additional things if the build succeeded
if status == 0: if status == 0:
if android and not no_package: if android and not no_package:
Registrar.dispatch("package", context=self.context, rv = Registrar.dispatch("package", context=self.context,
release=release, dev=dev, target=target) release=release, dev=dev, target=target)
if rv:
return rv
if sys.platform == "win32": if sys.platform == "win32":
servo_exe_dir = path.join(base_path, "debug" if dev else "release") servo_exe_dir = path.join(base_path, "debug" if dev else "release")