On 19 Oct 2020, at 19:14, Paolo Bonzini wrote: Sorry, I received your email just after I posted mine.
> I think this could be the fix. The problem would be that
>
> awk '$2=="U"{print "-Wl,-u," $1}'
/
> Great, thanks. Can you check if my patch would also work, as it would
> adhere more to the pre-conversion logic?
You fix does work, you can forget mine.
Thanks for the quick fix,
Emmanuel.
