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 08:58:18 -0300

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

Cc: Vladimir Marek

From: David Bremner

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?

d

Thread: