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))