Skip to content

gen_merged_protos : add new project root parameter to allow merging protos from custom paths - #6919

Open
dragosp95 wants to merge 1 commit into
mainfrom
dev/dragosp/merge-protos-in-custom-path
Open

gen_merged_protos : add new project root parameter to allow merging protos from custom paths#6919
dragosp95 wants to merge 1 commit into
mainfrom
dev/dragosp/merge-protos-in-custom-path

Conversation

@dragosp95

@dragosp95 dragosp95 commented Jul 29, 2026

Copy link
Copy Markdown

Add new project root parameter in tools/gen_merged_protos to allow merging protos from custom paths.

This will be used for dynamically merging copies of perfetto files.

This change will not change the default behaviour.

@dragosp95
dragosp95 force-pushed the dev/dragosp/merge-protos-in-custom-path branch from e107200 to 9233bbe Compare July 29, 2026 14:24
@dragosp95 dragosp95 changed the title Add new project root parameter to allow merging protos from custom paths gen_merged_protos : add new project root parameter to allow merging protos from custom paths Jul 29, 2026
@dragosp95
dragosp95 requested a review from a team July 29, 2026 14:33
Comment thread tools/gen_merged_protos
'--check-only',
action='store_true',
help='Check if merged protos are up to date without modifying them.')
args, unknown_args = parser.parse_known_args()

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

should we just do args = parser.parse_args() safer than discarding unknwon ones ?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants