<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I doubt we already support builddir != srcdir -- though I would be happy to be wrong on that.)<br>


<br></blockquote><div><br></div><div style>Be very happy! We do, for quite some time already.</div><div style><br></div><div style>--tml </div></div></div></div>