From e1bf749d3cb8ea86ef03e9eefbf16739ee44aab6 Mon Sep 17 00:00:00 2001 From: Vishnu Ks Date: Fri, 22 Jun 2018 17:34:07 +0530 Subject: [PATCH] provision: Run build_pygments_data only if required. --- tools/lib/provision.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/tools/lib/provision.py b/tools/lib/provision.py index 04dd55df9a..d3b6ccf044 100755 --- a/tools/lib/provision.py +++ b/tools/lib/provision.py @@ -301,7 +301,14 @@ def main(options): else: 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(["tools/update-authors-json", "--use-fixture"])