On Fri, 25 Aug 2006 00:28:49 -0400, Geoff Adams <gadams@avernus.com> wrote:

> On 24 Aug 2006, at 10:11 PM, Steven M. Bellovin wrote:
> 
> > Btw -- how could I tell build.sh (or make) to use a different shell  
> > for
> > building?  As I believe I mentioned, root's shell is /bin/ksh.
> 
> I haven't tried it, but does something like
> 
>      SHELL=/bin/sh ./build.sh ... arguments ...
> 
> not work?
> 
No -- SHELL is already in my environment. 


		--Steven M. Bellovin, http://www.cs.columbia.edu/~smb