Patch to gcc_release

[Mark Mitchell]

--On Wednesday, June 20, 2001 12:32:23 AM +0100 "Joseph S. Myers" 
<jsm28@cam.ac.uk> wrote:

> This patch makes some adjustments to gcc_release:

OK.

--
Mark Mitchelll               mark@codesourcery.com
CodeSourcery, LLC            http://www.codesourcery.com