On Tue, Jul 13, 2010 at 9:48 AM, Alexander Gavrilov <span dir="ltr"><<a href="mailto:angavrilov@gmail.com">angavrilov@gmail.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<div><div></div>By the way, is there a faster procedure in case<br></div>
I want to try hacking something big in the C kernel?<br>
This all is ok for a few short fixes, but would<br>
quickly become annoying if repeated a lot.<br></blockquote></div><br>If you do not change any symbol in symbols_list.h, then you can safely do<br><br>make -C c clean<br>rm bin/ecl<br>make<br><br>I will investigate the DECLAIM problem later.<br>

<br>Juanjo<br clear="all"><br>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com">http://juanjose.garciaripoll.googlepages.com</a><br>