<p dir="ltr">On Oct 21, 2014 5:43 PM, "Salvo Tomaselli" <<a href="mailto:tiposchi@tiscali.it">tiposchi@tiscali.it</a>> wrote:<br>
><br>
> I did and I'm getting the same.<br>
><br>
> I can try cloning it again, before I see what is going on. I thought that it<br>
> was failing for everyone.</p>
<p dir="ltr">Try "make distclean" or even "git clean -dfqx". You should never have to re-clone.</p>
<p dir="ltr">Henrik</p>