diff options
Diffstat (limited to 'python/servo')
| -rw-r--r-- | python/servo/testing_commands.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/python/servo/testing_commands.py b/python/servo/testing_commands.py index 9e20fab1c79..f0eccee59af 100644 --- a/python/servo/testing_commands.py +++ b/python/servo/testing_commands.py @@ -660,6 +660,7 @@ testing/web-platform/mozilla/tests for Servo-only tests""" % reference_path) def check_css_properties_json(topdir): + print("Testing generation of css-properties.json...") filename = path.join(topdir, "target", "doc", "servo", "css-properties.json") if path.exists(filename): @@ -675,3 +676,4 @@ def check_css_properties_json(topdir): assert len(properties) >= 100 assert "margin-top" in properties assert "margin" in properties + print("OK") |