From: Junio C Hamano <gitster@pobox.com>
Date: Sat, 11 Apr 2009 20:42:39 GMT
Subject: Re: [PATCH] documentation: Makefile accounts for SHELL_PATH setting
Message-ID: <7vmyamdirk.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <20090410093430.6117@nanako3.lavabit.com>

Nanako Shiraishi <nanako3@lavabit.com> writes:

> Quoting Ben Walton:
>
>> Ensure that the Makefile that generates and installs the Documentation
>> is aware of any SHELL_PATH setting.  Use this value if found or the
>> current setting for SHELL if not.  This is an accommodation for systems
>> where sh is not bash.
>>
>> Signed-off-by: Ben Walton <bwalton@artsci.utoronto.ca>
>
> Junio, may I ask what happened to this patch?

There was a discussion going that eventurally petered out without seeing
success (or breakage) reports from people with various platforms.

I think the patch text is Ok, with "where sh is not bash" in the log
message rephrased to "where sh is not POSIX", but I do not have an easy
access to a system where /bin/sh is broken (perhaps I should install
OpenSolaris in a vbox to try out), so it is still sitting in my inbox.