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

[David Bremner]

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