[patch] Use /bin/bash instead of /bin/sh for bashisms

[John Kelly]

On Tue, 03 Jan 2006 07:46:01 +0100, Jan-Benedict Glaw
<jbglaw at lug-owl.de> wrote:

>> On Mon, 02 Jan 2006 10:49:27 +0100, Natanael Copa <mlists at tanael.org>

>> >It didn't work with csh and tcsh.
>> 
>> That's irrelevant.
>> 
>> http://www.faqs.org/faqs/unix-faq/shell/csh-whynot/
>
>Well, the main point is that the scripts are just used to build the
>library. Reading POSIX, you *can* *not* rely on /bin/sh being a POSIX
>shell.

A POSIX shell is standard practice for building software.


>So explicitely writing for csh is probably just dumb

Then using $() is not a problem, is it.


>throwing away compatibility for no good reason is as well :)

Replacing $() with `` is a waste of effort, unless you're porting to
vintage 1978 UNIX.