------- Comment #9 from ebotcazou at gcc dot gnu dot org 2007-09-30 17:00 ------- > nope two dots. Yes, that's precisely why I said "source gcc" and not "source". -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33598