On Fri, Sep 21, 2012 at 11:08:34PM +0200, Andreas Schwab wrote:
> Jeff King <p...@peff.net> writes:
> > 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.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html