------- Additional Comments From ebotcazou at gcc dot gnu dot org 2005-07-14 19:40 ------- > This problem really disappeared when I used make 3.80. So that's my mistake. > Sorry to have wasted your time.
No problems. Thanks for reporting the successful outcome. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22407
