On 05/11/2018 05:14, Vijay Kumar Banerjee wrote: > On Sun, 28 Oct 2018 at 21:54, Vijay Kumar Banerjee <vijaykumar9...@gmail.com > <mailto:vijaykumar9...@gmail.com>> wrote: > > I could run with copy_tree using this workaround > > ======================================= > diff --git a/rtemstoolkit/path.py b/rtemstoolkit/path.py > index 760f4bd..df553b3 100644 > --- a/rtemstoolkit/path.py > +++ b/rtemstoolkit/path.py > @@ -191,10 +191,10 @@ 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 = [] > > if not os.path.isdir(dst): > os.makedirs(dst) > > ===================================== > > But there's still an issue with the file permission as it uses copystat > which > copies the permission bits which is not required in this case. > It requires a manual `rm` with root permission before rerunning the > coverage. > > ping :) >
Sorry about the delay. This looks find, can you please provide a patch. Thanks Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
