[Bug ada/42978] gnatmake doesn't report the options it actually provides to ranlib

[simon at pushface dot org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42978

--- Comment #5 from simon at pushface dot org ---
(In reply to Eric Botcazou from comment #4)
> > I posted a patch for this in
> > https://gcc.gnu.org/ml/gcc-patches/2010-02/msg00325.html, and Arnaud
> > approved it in the followup message, but it never got applied.
> 
> Sorry about that, please ping patches when they fall through the cracks.

I did (https://gcc.gnu.org/ml/gcc-patches/2011-09/msg00978.html) - I guess it
fell through the cracks again, my end as well as yours. Not the most important
of patches!