diff options
| author | akastornov <[email protected]> | 2022-02-10 16:46:03 +0300 |
|---|---|---|
| committer | Daniil Cherednik <[email protected]> | 2022-02-10 16:46:03 +0300 |
| commit | 3a2de774d91ca8d7325aaf81c200b1d2047725e6 (patch) | |
| tree | 5674a780ce03a8bbd794733a19c7a70d587e4a14 /build/scripts/fetch_from.py | |
| parent | 7bd11ff35e97544d119e43447e3e865f2588ee7f (diff) | |
Restoring authorship annotation for <[email protected]>. Commit 1 of 2.
Diffstat (limited to 'build/scripts/fetch_from.py')
| -rwxr-xr-x | build/scripts/fetch_from.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build/scripts/fetch_from.py b/build/scripts/fetch_from.py index db4fea50bf2..3860974ac4e 100755 --- a/build/scripts/fetch_from.py +++ b/build/scripts/fetch_from.py @@ -321,15 +321,15 @@ def process(fetched_file, file_name, args, remove=True): hardlink_or_copy(fetched_file, args.copy_to) if not args.outputs: args.outputs = [args.copy_to] - + if args.rename_to: args.rename.append(fetched_file) if not args.outputs: args.outputs = [args.rename_to] - + if args.copy_to_dir: hardlink_or_copy(fetched_file, os.path.join(args.copy_to_dir, file_name)) - + if args.untar_to: ensure_dir(args.untar_to) # Extract only requested files |
