Home
last modified time | relevance | path

Searched refs:mark_file_path (Results 1 – 1 of 1) sorted by relevance

/build/
Dprebuilts_download.py49 mark_file_path = os.path.join(mark_file_dir, mark_file_name)
50 args.mark_file_path = mark_file_path
51 return os.path.exists(mark_file_path)
63 def _uncompress(args, src_file, code_dir, unzip_dir, unzip_filename, mark_file_path): argument
66 cmd = 'unzip -o {} -d {};echo 0 > {}'.format(src_file, dest_dir, mark_file_path)
68 cmd = 'tar -xvzf {} -C {};echo 0 > {}'.format(src_file, dest_dir, mark_file_path)
70 cmd = 'tar -xvf {} -C {};echo 0 > {}'.format(src_file, dest_dir, mark_file_path)
77 def _copy_url(args, task_id, url, local_file, code_dir, unzip_dir, unzip_filename, mark_file_path, … argument
95 _uncompress(args, local_file, code_dir, unzip_dir, unzip_filename, mark_file_path)
98 …_copy_url_disable_rich(args, url, local_file, code_dir, unzip_dir, unzip_filename, mark_file_path): argument
[all …]