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

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|5.0                         |4.9.3

--- Comment #10 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Note that support for project files (and libraries) in gnatmake is being
> deprecated in favor of gprbuild, so this patch will soon become OBE.

Ah, yes, applied to 4.9 branch too then, it is safe enough.