diff options
author | Josh Matthews <josh@joshmatthews.net> | 2018-05-01 11:42:57 -0400 |
---|---|---|
committer | Josh Matthews <josh@joshmatthews.net> | 2018-05-21 23:16:42 -0400 |
commit | 40f04ff58eebc10fc569da9cbda49a66a242b70d (patch) | |
tree | e3e9eb7d2b6b66cc972a1152d464016a3a350656 /python/servo/testing_commands.py | |
parent | 319556cf6a8e2717d16e4908943bbc07083ac1c7 (diff) | |
download | servo-40f04ff58eebc10fc569da9cbda49a66a242b70d.tar.gz servo-40f04ff58eebc10fc569da9cbda49a66a242b70d.zip |
Don't suppress the result of checking the WPT manifest.
Diffstat (limited to 'python/servo/testing_commands.py')
-rw-r--r-- | python/servo/testing_commands.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/testing_commands.py b/python/servo/testing_commands.py index e8e6d997ffd..b0d07f0821b 100644 --- a/python/servo/testing_commands.py +++ b/python/servo/testing_commands.py @@ -87,7 +87,7 @@ def run_update(topdir, check_clean=False, rebuild=False, **kwargs): from wptrunner import wptlogging logger = wptlogging.setup(kwargs, {"mach": sys.stdout}) wpt_dir = os.path.abspath(os.path.join(topdir, 'tests', 'wpt')) - manifestupdate.update(logger, wpt_dir, check_clean, rebuild) + return manifestupdate.update(logger, wpt_dir, check_clean, rebuild) @CommandProvider |