Documenting tools necessary for GCC [draft]

[Kaveh R. Ghazi]

 > From: Phil Edwards <phil@jaj.com>
 > 
 > > On Thu, 29 May 2003, Kaveh R. Ghazi wrote:
 > > > Necessary when running configure because some /bin/sh shells have bugs
 > > > or disastrous corner-case performance problems.  Set CONFIG_SHELL in
 > > > your environment to your "good" shell prior to running configure/make.
 > 
 > Isn't setting SHELL also required?

No, it shouldn't be required.  I've been setting just CONFIG_SHELL
without any problems.

IIRC, configure substitutes SHELL = @CONFIG_SHELL@ (or something
eventually equivalent) in each Makefile as they are generated, so
setting SHELL is redundant.

--
Kaveh R. Ghazi			ghazi@caip.rutgers.edu