On 15/11/2018 05:49, Vijay Kumar Banerjee wrote: > > On Wed, 7 Nov 2018 at 13:11, Vijay Kumar Banerjee <vijaykumar9...@gmail.com > <mailto:vijaykumar9...@gmail.com>> wrote: > > --- > rtemstoolkit/path.py | 5 +++-- > 1 file 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) > -- > 2.17.2 > > ping :)
Sorry about the delay. OK to push. Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
