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

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

Date: Mon, 30 Apr 2012 15:09:04 +0300

To: David Bremner, Vladimir.Marek@oracle.com, notmuch@notmuchmail.org

Cc: Vladimir Marek

From: Tomi Ollila

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

> Vladimir.Marek@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@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@guru.guru-group.fi"

> d

Tomi

Thread: