<html dir="ltr"><head></head><body style="text-align:left; direction:ltr;"><pre>On Fri, 2018-09-21 at 13:24 +0200, Christian Lohmaier wrote:</pre><blockquote type="cite" style="margin:0 0 0 .8ex; border-left:2px #729fcf solid;padding-left:1ex"><pre><br></pre><pre>Device or resource busy is an issue with the build machine, issue on the</pre><pre>OS/filesystem level and not related to your changes.</pre><pre>Likely a previous build didn't finish properly and left junk (leftover</pre><pre>processes) behind.</pre></blockquote><pre><br></pre><div>Thank you. My next attempt (patch set 7) built successfully.</div><div><br></div></body></html>