That's true in that case but the list will go to another file. I sent a patch for that.2011/9/9 Frédéric Delanoy <frederic.delanoy@gmail.com>
Patch is OK, but for consistency, shouldn't the externals be put at
the start of wcmdmain.c, just after the inbuilt[][]10]?
This way, you could see directly which command is built-in, and which
is external.
+ make it static const, since it's not used outside of builtins.c.
Octavian