On Mon, Apr 30 2012, David Bremner <[email protected]> wrote: > [email protected] 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:"[email protected]" (which, of course, does not check /usr/local/bin/bash ;/) There is also alternative, more heuristic approach, mentioned as option 4 in id:"[email protected]" > d Tomi _______________________________________________ notmuch mailing list [email protected] http://notmuchmail.org/mailman/listinfo/notmuch
