Look at the rule in libstdc++-v3/include/Makefile.am which uses sed to
create the libstdc++ copy of gthr-default.h
Thank you for the tip, after a bit of skimming through the code I found
the problem: the line "thread_header=gthr-miosix.h" was missing into the
file libstdc++-v3/config, whereas in libgcc/config it wasn't. That leads
the configure script making the correct symlinks only for the
"gthr-default.h" related to libgcc and leaving and empty file for
libstdc++-v3.
Best regards,
Silvano Seva.