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

[charlet at gcc dot gnu.org]

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

--- Comment #8 from Arnaud Charlet <charlet 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.

But no problem in applying it now.