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. -Peff -- 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