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

David Bremner david at tethera.net
Mon Apr 30 04:58:18 PDT 2012


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?

d


More information about the notmuch mailing list