On Fri, Sep 21, 2012 at 11:08:34PM +0200, Andreas Schwab wrote:
Jeff King [off-list ref] writes:
quoted
A bigger question is: why are you setting SHELL=zsh in the first place?
SHELL is set to the login shell by default.
Yeah, sorry, I was thinking this was coming from our $SHELL_PATH
Makefile variable, and that he was setting that. The real solution is to
properly use $SHELL_PATH instead of $SHELL.
-Peff