aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJosh Matthews <josh@joshmatthews.net>2018-08-21 09:24:16 -0400
committerJosh Matthews <josh@joshmatthews.net>2018-08-21 09:24:16 -0400
commit9f746b33a875a5bfd90378ffd11f57efb69c5f97 (patch)
tree96fdd99e94cb2401f28e4eff657aa3a358ef2c91
parent5c8ede4b05f3940cfaa94d6341984502c920685d (diff)
downloadservo-9f746b33a875a5bfd90378ffd11f57efb69c5f97.tar.gz
servo-9f746b33a875a5bfd90378ffd11f57efb69c5f97.zip
wpt: Handle wpt version number changes when updating the manifest.
-rw-r--r--tests/wpt/manifestupdate.py10
1 files changed, 7 insertions, 3 deletions
diff --git a/tests/wpt/manifestupdate.py b/tests/wpt/manifestupdate.py
index f2e5887b78c..7c8fb53dead 100644
--- a/tests/wpt/manifestupdate.py
+++ b/tests/wpt/manifestupdate.py
@@ -54,10 +54,14 @@ def update(logger, wpt_dir, check_clean=True, rebuild=False):
def _update(logger, test_paths, rebuild):
for url_base, paths in test_paths.iteritems():
manifest_path = os.path.join(paths["metadata_path"], "MANIFEST.json")
- if rebuild:
+ m = None
+ if not rebuild:
+ try:
+ m = manifest.manifest.load(paths["tests_path"], manifest_path)
+ except manifest.manifest.ManifestVersionMismatch:
+ logger.info("Manifest format changed, rebuilding")
+ if m is None:
m = manifest.manifest.Manifest(url_base)
- else:
- m = manifest.manifest.load(paths["tests_path"], manifest_path)
manifest.update.update(paths["tests_path"], m, working_copy=True)
manifest.manifest.write(m, manifest_path)
return 0