need help with shell / configure

[Stephan Bergmann]

On 03/25/2013 01:59 PM, Michael Stahl wrote:
> On 24/03/13 23:34, Stephan Bergmann wrote:
>>> So, is it still useful or could we remove BASH check and OOO_SHELL as
>>> well ?
>>
>> I'm not sure I understand your question.  The LO build system requires
>> Bash in places, esp. as the shell used to execute makefile recipe lines.
>
> gbuild should only require /bin/sh (which is faster unless it's a
> symlink to bash).

Ah.  I had extrapolated the claim "requires Bash to execute makefile 
recipe lines" from faint memories and the "SHELL=/user/bin/env bash" 
line in Makefile.mk, so that claim may actually be wrong.

Stephan