On Thu, 15 Nov 2018 at 05:18, Chris Johns <chr...@rtems.org> wrote: > 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 :) > > OK to push. > > Thanks for the review! Please push the two patches. :)
> Chris >
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
