http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55389
--- Comment #2 from Paolo Bonzini <bonzini at gnu dot org> 2012-11-19 13:05:51 UTC --- Can you post the full log of a rm+make?
- [Bug other/55389] New: library cannot be rebu... ebotcazou at gcc dot gnu.org
- [Bug other/55389] library cannot be rebu... jakub at gcc dot gnu.org
- [Bug other/55389] library cannot be rebu... bonzini at gnu dot org
- [Bug other/55389] library cannot be rebu... jakub at gcc dot gnu.org
