diff options
author | Vijay Kumar Banerjee <vijaykumar9597@gmail.com> | 2018-11-07 13:11:09 +0530 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2018-11-17 12:31:45 +1100 |
commit | f9a17cd2a1ba3a03bc167ccd91202698e9d86e5e (patch) | |
tree | 8ed3f141849000e0ac1c4d11ef4fc8d6450553c1 /rtemstoolkit | |
parent | fb03e22c475367e1055b16142ad073cbc1675df1 (diff) |
rtemstoolkit/path : Add support to copy single files
Diffstat (limited to 'rtemstoolkit')
-rw-r--r-- | rtemstoolkit/path.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/rtemstoolkit/path.py b/rtemstoolkit/path.py index 760f4bd..83fb361 100644 --- a/rtemstoolkit/path.py +++ b/rtemstoolkit/path.py @@ -191,10 +191,11 @@ def copy_tree(src, dst): hsrc = host(src) hdst = host(dst) - if os.path.exists(src): + if os.path.exists(src) and os.path.isdir(src): names = os.listdir(src) else: - name = [] + names = [basename(src)] + src = dirname(src) if not os.path.isdir(dst): os.makedirs(dst) |