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/path.py > +++ b/rtemstoolkit/path.py > @@ -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 = [] > > _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
