https://inbox.sourceware.org/binutils/6f335280-099c-40d7-9391-27fa47e6e55e@suse.de/ has an alternative patch. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."