<div class="gmail_quote">2011/9/9 Frédéric Delanoy <span dir="ltr"><<a href="mailto:frederic.delanoy@gmail.com">frederic.delanoy@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<div id=":g">Patch is OK, but for consistency, shouldn't the externals be put at<br>
the start of wcmdmain.c, just after the inbuilt[][]10]?<br>
This way, you could see directly which command is built-in, and which<br>
is external.</div></blockquote></div><br>+ make it static const, since it's not used outside of builtins.c.<div><br></div><div>Octavian</div><div><br>
</div>