Re: [PATCH 1/2] rtemstoolkit/path: Add support to copy single file

Both have been pushed. Thank you. Chris On 24/1/20 8:57 pm, Vijay Kumar Banerjee wrote: > --- > rtemstoolkit/path.py | 8 ++-- > 1 file changed, 6 insertions(+), 2 deletions(-) > > diff --git a/rtemstoolkit/path.py b/rtemstoolkit/path.py > index 9401e99..b15164b 100644 > --- a/rtemstoolkit/

[PATCH 1/2] rtemstoolkit/path: Add support to copy single file

--- rtemstoolkit/path.py | 8 ++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/rtemstoolkit/path.py b/rtemstoolkit/path.py index 9401e99..b15164b 100644 --- a/rtemstoolkit/path.py +++ b/rtemstoolkit/path.py @@ -314,8 +314,12 @@ def copy_tree(src, dst): hsrc = host(src)