On 05/20/2015 08:56 AM, Jean-Marc Lasgouttes wrote:
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, asWhat 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?
Yes, that's fine. rh