fix: name the platform a typo meant in every CLI

slots ended a mistyped --platform on a traceback; generate_truth,
refresh_data_dirs and auto_fetch exited 0 having done nothing for it.
All six now stop on require_platform before any work.
This commit is contained in:
Abdessamad Derraz committed 2026-10-18 07:14:38 +02:00
1 parent 803f9dce96
commit 195fb92036
7 files changed
+48 -4

No files matched your search

+3
View File
@@ -809,6 +809,7 @@ def main() -> int:
list_registered_platforms,
load_emulator_profiles,
load_platform_config,
require_platform,
)
parser = argparse.ArgumentParser(
@@ -832,6 +833,8 @@ def main() -> int:
with open(args.db, encoding="utf-8") as handle:
db = json.load(handle)
profiles = load_emulator_profiles(args.emulators_dir)
if args.platform:
require_platform(args.platform, args.platforms_dir)
names = (
[args.platform]
if args.platform