From b00a8de83a4bfa59b4e10926833a916ed3441015 Mon Sep 17 00:00:00 2001 From: Ramon Roche Date: Tue, 13 Aug 2024 09:35:18 -0700 Subject: [PATCH] tools: debug grouping py script --- Tools/generate_board_targets_json.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Tools/generate_board_targets_json.py b/Tools/generate_board_targets_json.py index d215acb0c6..e5b58fab09 100755 --- 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))