<div dir="ltr">I think make maintainer-clean removes it. I find this hidden pieces of state annoying. It has definitely tripped me up in the past. Perhaps we can have make clean remove it?</div><div class="gmail_extra"><br>

<br><div class="gmail_quote">On Fri, Aug 29, 2014 at 2:14 PM, Dr. ERDI Gergo <span dir="ltr"><<a href="mailto:gergo@erdi.hu" target="_blank">gergo@erdi.hu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="">On Fri, 29 Aug 2014, Edward Z. Yang wrote:<br>
<br>
</div><div class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
OK, it's definitely worked for me in that time.  Do you have<br>
mk/<a href="http://are-validating.mk" target="_blank">are-validating.mk</a> in your tree? Also do try on a fresh working copy.<br>
</blockquote>
<br></div>
Yes I do! Is that the remnant of some failed validation process? Should I remove it?<div class="HOEnZb"><div class="h5"><br>
______________________________<u></u>_________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/ghc-devs</a><br>
</div></div></blockquote></div><br></div>