(url, download_dir, target_dir_name, sha1_hash = None, force_download = False, user_agent = None)
| 365 | |
| 366 | |
| 367 | def downloadAndExtractFile(url, download_dir, target_dir_name, sha1_hash = None, force_download = False, user_agent = None): |
| 368 | target_filename = downloadFile(url, download_dir, target_dir_name, sha1_hash, force_download, user_agent) |
| 369 | extractFile(target_filename, os.path.join(SRC_DIR, target_dir_name)) |
| 370 | |
| 371 | |
| 372 | def applyPatchFile(patch_name, dir_name, pnum): |
no test coverage detected