diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2022-05-15 14:48:52 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2022-05-15 15:25:12 +0200 |
| commit | e25e2c3b94e1f89fb1d38f77a8a58da5e8a2d581 (patch) | |
| tree | 2eea1e177bd1bcf623acc978a04d991648fdc4f2 | |
| parent | be960e1747cbebdf8272a79f2e6a7b6891acb0a6 (diff) | |
| download | rust-e25e2c3b94e1f89fb1d38f77a8a58da5e8a2d581.tar.gz rust-e25e2c3b94e1f89fb1d38f77a8a58da5e8a2d581.zip | |
Regenerate JSON file for llvmint every time
| -rw-r--r-- | tools/generate_intrinsics.py | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/tools/generate_intrinsics.py b/tools/generate_intrinsics.py index a1e28c3181c..4129c8cb447 100644 --- a/tools/generate_intrinsics.py +++ b/tools/generate_intrinsics.py @@ -116,12 +116,11 @@ def extract_instrinsics_from_llvmint(llvmint, intrinsics): ] json_file = os.path.join(llvmint, "target/doc/llvmint.json") - if not os.path.exists(json_file): - # We need to regenerate the documentation! - run_command( - ["cargo", "rustdoc", "--", "-Zunstable-options", "--output-format", "json"], - cwd=llvmint, - ) + # We need to regenerate the documentation! + run_command( + ["cargo", "rustdoc", "--", "-Zunstable-options", "--output-format", "json"], + cwd=llvmint, + ) with open(json_file, "r", encoding="utf8") as f: json_data = json.loads(f.read()) for p in json_data["paths"]: |