Hi
On 22 maggio 2014 12:26:19 CEST, Konstantin Serebryany <konstantin.s.serebry...@gmail.com> wrote: >What is the exact command are you running? Sorry, now I'm traveling. But nothing special, a very simple c and c++ build on x86_64-linux. No special flags, all defaults. If nobody can reproduce I'll try to fetch again the tree from scratch. Weird, anyway. Paolo
