> 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. -- Eric Botcazou