Le 20/05/2015 14:55, Enrico Forestieri a écrit :
Incidentally, for this same reason I cannot simply run ./autogen.sh
but have to run "bash autogen.sh". This is really minor, though, as

What is the error with autogen.sh? Is it the "!" with make?

Yes, exactly.

Is it better now?

Yes, thanks.

Good.

Richard, can this go to branch?

JMarc

Reply via email to