<div>Hello,</div><div><br></div><div>I am sending a couple bug fixes for cover.</div><div><br></div><div>I have broken those fixes into three granular commits.</div><div>The commit messages contains the rationale behind them.</div>

<div><br></div><div>One of the commits changes cover to get the source from</div><div>"Module:module_info(compile)" if the current heuristic that</div><div>traverses directories fails. In my opinion, we could rely</div>

<div>solely on the source information and remove the heuristic</div><div>completely but I have kept the current heuristic as the first</div><div>mechanism in order to minimize the impact of the changes.</div><div><br></div>

<div>As such, I would appreciate if those changes could be merged</div><div>into maint. :)</div><div><br></div><div>git fetch git://<a href="http://github.com/josevalim/otp.git">github.com/josevalim/otp.git</a> cover-patches</div>

<div><br></div><div><a href="https://github.com/josevalim/otp/compare/cover-patches">https://github.com/josevalim/otp/compare/cover-patches</a></div><div><a href="https://github.com/josevalim/otp/compare/cover-patches.patch">https://github.com/josevalim/otp/compare/cover-patches.patch</a></div>

<div><br></div><div>Thank you,</div><div><br></div><div><br></div><div><span style="font-size:13px"><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"><b>José Valim</b></span></div><div>

<span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"><div><span style="font-family:verdana,sans-serif;font-size:x-small"><a href="http://www.plataformatec.com.br/" style="color:rgb(42,93,176)" target="_blank">www.plataformatec.com.br</a></span></div>

<div><span style="font-family:verdana,sans-serif;font-size:x-small">Skype: jv.ptec</span></div><div><span style="font-family:verdana,sans-serif;font-size:x-small">Founder and Lead Developer</span></div></span></div></span></div>

<br>