OpenJDK Build error on Ubuntu 8.04

[Andrew Haley]

Martin Buchholz wrote:

> On Tue, Jun 3, 2008 at 1:22 AM, Andrew Haley <aph at redhat.com> wrote:
>> But if one of our scripts actually needs bash (not just sh) why not use
>> #!/bin/bash ?

> sh is a horrible programming language whose primary virtue is
> portability -- every Unix system since the dark ages has it.
> Much of that is lost when replacing #!/bin/sh with #!/bin/bash.
> Might as well upgrade to a "real" programming language.

Sure, but this bug seems to suggest that we *already* rely on
/bin/bash, but we pretend not to by assuming that /bin/sh runs
bash.  If we rely on bash, let's be straight about it.

Andrew.