https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66143
Arnaud Charlet <charlet at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |charlet at gcc dot gnu.org
Resolution|WONTFIX |FIXED
Target Milestone|--- |6.0
--- Comment #2 from Arnaud Charlet <charlet at gcc dot gnu.org> ---
Actually the current gnat_set_executable is working as expected and gprinstall
is taking advantage of it, so this one is a fixed.
Arno
