provision: Run build_pygments_data only if required.

This commit is contained in:
Vishnu Ks
2018-06-22 17:34:07 +05:30
parent 109fa85614
commit e1bf749d3c

View File

@@ -301,7 +301,14 @@ def main(options):
else: else:
print("No need to run `tools/generate-custom-icon-webfont`.") print("No need to run `tools/generate-custom-icon-webfont`.")
run(["tools/setup/build_pygments_data"]) build_pygments_data_paths = ["tools/setup/build_pygments_data", "tools/setup/lang.json"]
from pygments import __version__ as pygments_version
if file_or_package_hash_updated(build_pygments_data_paths, "build_pygments_data_hash", options.is_force,
[pygments_version]):
run(["tools/setup/build_pygments_data"])
else:
print("No need to run `tools/setup/build_pygments_data`.")
run(["scripts/setup/generate_secrets.py", "--development"]) run(["scripts/setup/generate_secrets.py", "--development"])
run(["tools/update-authors-json", "--use-fixture"]) run(["tools/update-authors-json", "--use-fixture"])