tools: debug grouping py script

2026-05-02 05:04:08 +08:00 · 2024-08-13 09:35:18 -07:00 · 2024-08-13 09:35:18 -07:00 · b00a8de83a
commit b00a8de83a
parent 746c3994d3
1 changed files with 3 additions and 0 deletions
--- a/Tools/generate_board_targets_json.py
+++ b/Tools/generate_board_targets_json.py
@ -196,6 +196,9 @@ if (args.group):
                    "group": group_name
                })
                temp_group = []
+    if(verbose):
+        import pprint
+        pprint.pp(final_groups)
    print(json.dumps({ "include": final_groups }, **extra_args))
 else:
    print(json.dumps(github_action_config, **extra_args))