From: Tomi Ollila <tomi.ollila@iki.fi>
To: David Bremner <david@tethera.net>, Vladimir.Marek@oracle.com,
	notmuch@notmuchmail.org
Subject: Re: [PATCH 1/4] Make configure use /bin/bash instead of /bin/sh
In-Reply-To: <87haw1ph2d.fsf@zancas.localnet>
References: <1333966665-10469-1-git-send-email-Vladimir.Marek@oracle.com>
	<1333966665-10469-2-git-send-email-Vladimir.Marek@oracle.com>
	<87haw1ph2d.fsf@zancas.localnet>
User-Agent: Notmuch/0.12+144~g85299aa (http://notmuchmail.org) Emacs/23.3.1
	(x86_64-unknown-linux-gnu)
Date: Mon, 30 Apr 2012 15:09:04 +0300
Message-ID: <m2vckhbevz.fsf@guru.guru-group.fi>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Cc: Vladimir Marek <vlmarek@volny.cz>
Precedence: list

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