tree fc96f57d505ddbeadf966494a5b0316baaac9e77
parent a89db65c870180067f6f2a64c9d1f4b2a3252b80
author Yifan Hong <elsk@google.com> 1651879618 -0700
committer Yifan Hong <elsk@google.com> 1651879618 -0700

dist: Allow to suppress logs by default.

Add a log argument to copy_to_dist_dir that specifies
the default log level.

- If --log is specified in the command line, it takes the highest priority.
- Otherwise, if log is specified in copy_to_dist_dir, its value is used.
- Otherwise, the script defaults to DEBUG log level.

Test: run with and without --log
Bug: 231368217
Change-Id: I1ba4d475080a8eb64e1ca890e59e9ad2fad14f21