On 9/13/07, Lubomir Sedlacik <salo@xtrmntr.org> wrote:
> On Thu, Sep 13, 2007 at 07:19:23PM -0700, James Hartley wrote:
> > Thanks to both Lubomir & Jared for replying.  Sheepishly, I ask where
> > is "USETOOL=no" set?
> ...
>  $ make USETOOLS=no
> ...

Thank you  for your speedy reply, & this does work.  Thanks again to
both of you for your replies.

Jim