Hi Bruno. On Saturday 12 November 2011, Bruno Haible wrote: > Jim Meyering wrote: > > +it is probably because you are using non-GNU-make with an old /bin/sh. If > > so, > > sed 's/with an old/or an old/ > > The workaround is to use GNU make *and* a different SHELL. > My understanding is that, in your case, configure is *already* picking up a decent shell for use by the Makefile recipes, but your non-GNU make is failing to honour this configure-provided setting. So using GNU make should be enough to work around the issue, no?
Regards, Stefano
