On Mon, 11 Mar 2019 at 16:59, Aleksandar Markovic <amarko...@wavecomp.com> wrote: > > Hello, all > > All of the sudden, the latest code doesn't build on my host: (the code from > several days ago builds fine) > > Do you know what would be the culprit? Is it my environment, or a genuine > build error?
Hi -- we've now committed what we think should be the fix for this in the configure script -- could you try again? (You might need to delete the git tree and check it out again from scratch, I'm not sure.) thanks -- PMM