[PATCH][Ada][PING^3] Add option to gnatlink to fix gnat.dg on some platforms

[Laurent GUERBY]

On Thu, 2009-08-06 at 17:44 +0200, Arnaud Charlet wrote:
> > Ping.
> 
> Sorry, unfortunately Vincent has not been very available recently.
> 
> At this stage, I can't follow anymore your proposed patch, there are too many
> levels of quoting and indirection.
> 
> I would suggest you restart form a clean start with a clear and self contained
> patch, a small reminder of the issue to fix, and a ChangeLog, that will
> probably speed up the review at this stage.

Ok I'm retesting a slight variant of my original patch and I'll resubmit
it soon.

Laurent