rtems/rtems-tools
1
0
Fork 0
mirror of https://git.rtems.org/rtems-tools/ synced 2025-10-14 14:37:09 +08:00
Code Issues Packages Projects Releases Wiki Activity

rtemstoolkit/path: Add support to copy single file

Browse Source
This commit is contained in:
Vijay Kumar Banerjee
2020-01-24 15:27:15 +05:30
committed by Chris Johns
parent 29ad0ec7a8
commit 2852cac71a
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
rtemstoolkit/path.py
View File

@@ -314,8 +314,12 @@ def copy_tree(src, dst):
hsrc = host(src)
hdst = host(dst)
if exists(src):
names = listdir(src)
if exists(hsrc):
if isdir(hsrc):
names = listdir(hsrc)
else:
names = [basename(hsrc)]
hsrc = dirname(hsrc)
else:
names = []