Andreas Schwab wrote: > It looks like the master branch of git://gcc.gnu.org/git/gcc hasn't been > updated since 3 weeks (trunk is still ok). > Same here. I now use trunk instead. Jie