fixup! feat(core): check tropic configuration on change_pin

This commit is contained in:
Martin Pastyřík
2026-02-18 13:45:54 +01:00
parent b9c0cc9fc3
commit 7975545bff
4 changed files with 8 additions and 7 deletions

View File

@@ -16,9 +16,10 @@ JSON_FILE = (
MD_FILE = ROOT / "docs" / "core" / "misc" / "tropic_configs.md"
HEADER = f"""<!--
This file is auto-generated from the JSON configuration in `{JSON_FILE.name}`.
This file is auto-generated from the JSON configuration in
`{JSON_FILE.relative_to(ROOT)}`.
Do not edit this file directly. Instead, edit the JSON and run `make gen` or
`make tropic_config` in the root direcotry.
`make tropic_config` in the root directory.
-->
"""
@@ -95,7 +96,6 @@ def generate_tropic_config_docs(check: bool) -> None:
new_content = temp.read_text()
original_content = MD_FILE.read_text()
if original_content != new_content:
MD_FILE.write_text(original_content)
raise click.ClickException(f"{MD_FILE.name} file is out of date.")
else:
json_to_markdown(JSON_FILE, MD_FILE)

View File

@@ -39,7 +39,7 @@ RISCV_FW_MAJOR = 1
RISCV_FW_MINOR = 0
RISCV_FW_PATCH = 0
HEADER = f"""# This file is auto-generated by `{Path(__file__).name}`.
HEADER = f"""# This file is auto-generated by `{Path(__file__).relative_to(ROOT)}`.
# Do not edit this file directly. Instead, run `make gen` or
# `make tropic_config` in the root direcotry.\n
"""

View File

@@ -1,7 +1,8 @@
<!--
This file is auto-generated from the JSON configuration in `tropic_configs.json`.
This file is auto-generated from the JSON configuration in
`core/embed/sec/tropic/config/tropic_configs.json`.
Do not edit this file directly. Instead, edit the JSON and run `make gen` or
`make tropic_config` in the root direcotry.
`make tropic_config` in the root directory.
-->
# IRREVERSIBLE CONFIGURATION

View File

@@ -1,4 +1,4 @@
# This file is auto-generated by `generate_tropic_model_config.py`.
# This file is auto-generated by `core/tools/generate_tropic_model_config.py`.
# Do not edit this file directly. Instead, run `make gen` or
# `make tropic_config` in the root direcotry.