Hi Eric, > On 30 Jun 2019, at 10:54, Eric Botcazou <ebotca...@adacore.com> wrote: > >> 2019-06-30 Iain Sandoe <i...@sandoe.co.uk> >> >> * gnatlink.adb (Link_Step): Remove duplicate -static-libgcc switches. >> Push -shared-libgcc explicitly, when it is the target default (unless >> overidden by the static flag). >> When the user has put an instance of shared/static-libgcc do not push >> a duplicate of this. > > OK for mainline, thanks.
This patch has now been on mainline for some time without any apparent issue, the problem is also present on the open branches, may I backport it? thanks Iain
