Is there any way to control how RUN-SHELL-COMMAND starts a child shell
process?  Currently, it seems to invoke csh (or tcsh, the shell I
use).  This is fine, except that my .cshrc file gets read in, which
(in my case, at least) adds 1 to 2 seconds to the shell call.

Any pointers welcome.

Thanks,

John Burger
<mitre.org at john>