On Tue, Jun 09, 2015 at 05:51:00PM +0200, Ludovic Courtès wrote: > There’s also the fact that it’s using -std=c++0x, whereas current master > uses -std=c++11. Fishy!
Very fishy indeed! I think I did not run "autoreconf -vfi" correctly, or it failed and I did not pay attention, and was left with a mixture of old and new files. Now I redid it, and there is no trace left of "-std=c++0x", and the flags seem to be correctly said. Thank you for asking the right questions, and sorry for taking your time! Andreas
