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? - Geoff