H. J. Lu wrote: >Open a bug. I will fix it. The fix should be similar to the change in >gcc/Makefile. > > Indeed, I was afraid it could be *the same* bug. Anyway... just done, it's other/17789. Thanks! Paolo.