[PATCH] Coverage: add the style and js files to the symbol-set report directory

[Chris Johns]

On 05/11/2018 05:14, Vijay Kumar Banerjee wrote:
> On Sun, 28 Oct 2018 at 21:54, Vijay Kumar Banerjee <vijaykumar9597 at gmail.com
> <mailto:vijaykumar9597 at 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