> I'll see what other shells I have available and try those. > so far: bash, tcsh, zsh, ksh. As Jonathan said, you need to make sure that the shell you choose is really used by make; SHELL's value is irrelevant, since make reports it uses /bin/sh Arthur