[PATCH 1/4] Make configure use /bin/bash instead of /bin/sh

[Tomi Ollila]

On Mon, Apr 30 2012, David Bremner <david at tethera.net> wrote:

> Vladimir.Marek at oracle.com writes:
>
>> diff --git a/configure b/configure
>> index 71981b7..6870341 100755
>> --- a/configure
>> +++ b/configure
>> @@ -1,4 +1,4 @@
>> -#! /bin/sh
>> +#! /bin/bash
>
> I realize the true story is more complicated than this, but how do
> people feel about specifying bash for configure until/unless we get a
> nicer solution?

if /bin/sh is not posix-capable, it is more probable that bash is called
/usr/local/bin/bash than /bin/bash

I've submitted this

id:"1334589199-25894-1-git-send-email-tomi.ollila at iki.fi"

(which, of course, does not check /usr/local/bin/bash ;/)

There is also alternative, more heuristic approach, mentioned
as option 4 in 

id:"m2wr5mm7gb.fsf at guru.guru-group.fi"

> d

Tomi