[patch, driver] [ping**3] One line patch to gcc.c

[FX Coudert]

After a final regtesting on x86_64-linux, I commited the patch to  
trunk as rev. 126068:

http://gcc.gnu.org/viewcvs?view=rev&revision=126068


Thanks for the review,
FX