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

Create filtered-wpt-errorsummary.log even if it would be empty

Browse source
This commit is contained in:
Simon Sapin 2018-12-14 17:07:56 +01:00
parent 4cb0307d27
commit 1f018b09c8
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
python/servo/testing_commands.py
View file

@ -574,9 +574,6 @@ class MachCommands(CommandBase):
json.dump(intermittent, intermittents_file, indent=4)
print("\n", end='', file=intermittents_file)
if len(actual_failures) == 0:
return 0
output = open(log_filteredsummary, "w") if log_filteredsummary else sys.stdout
for failure in actual_failures:
json.dump(failure, output, indent=4)
@ -584,6 +581,9 @@ class MachCommands(CommandBase):
if output is not sys.stdout:
output.close()
if len(actual_failures) == 0:
return 0
return 1
@Command('test-android-startup',