Searched refs:merged_dist_dir (Results 1 – 1 of 1) sorted by relevance
| /external/perfetto/ui/release/ |
| D | build_all_channels.py | 72 def build_all_channels(channels, tmp_dir, merged_dist_dir): argument
80 check_call_and_log(['cp', '-an', pjoin(dist_dir, version), merged_dist_dir])
93 check_call_and_log(['cp', '-an', fpath, merged_dist_dir])
109 merged_dist_dir = pjoin(args.tmp, 'dist')
110 check_call_and_log(['rm', '-rf', merged_dist_dir])
111 shutil.os.makedirs(merged_dist_dir)
112 channel_map = build_all_channels(channels, args.tmp, merged_dist_dir)
114 print('Updating index in ' + merged_dist_dir)
115 with open(pjoin(merged_dist_dir, 'index.html'), 'r+') as f:
134 for name in os.listdir(merged_dist_dir):
[all …]
|