Patch to gcc_release

[Joseph S. Myers]

On Sun, 25 Nov 2001, DJ Delorie wrote:

> If the script is going to run on one machine only, I think the Right
> Thing to do is put the actual shell you're using in the #! line
> (i.e. #!/bin/bash) so that the world knows that portability isn't an
> issue.  Then you can use all the $shell-isms you want, knowing that if
> you don't get the shell you're expecting, the failure mode will be
> both quick and obvious, rather than the usual subtle and pervasive.

That particular part of the script only runs on gcc.gnu.org - the parts
not conditioned on local running may run elsewhere, but I think that for
this script POSIX should be considered portable enough.

-- 
Joseph S. Myers
jsm28@cam.ac.uk