Re: libtool-2.2.10: print vs. printf

[Ralf Wildenhues]

Hello Markus,

* Markus Duft wrote on Fri, Oct 22, 2010 at 09:59:27AM CEST:
> I have a question: In the new libtool, $ECHO is checked for in
> libtool.me, preferring print over printf over a fallback echo. Now, on
> interix, i have a KSH as /bin/sh which has print builtin, and thus
> configure chooses it. now when building, libtool is called using another
> shell (a bash), and things (of course) go wrong.
> 
> as a workaround now i can use CONFIG_SHELL to set another shell (and
> call configure using that shell explicitly! it does not seem sufficient
> in all cases to set CONFIG_SHELL.), but i feel that it is not so good to
> rely on shell builtins which may not be there when make is called... any
> insights?
> 
> or am i wrong, and it is specified, that the shells that configure and
> make use have to be the same?

Exactly.  The bug is that the shell used during configure, and the shell
invoking libtool, are not the same.  This bug can be caused by different
things, either you setting SHELL in Makefile.in, or SHELL or
CONFIG_SHELL in configure.ac, or something similar.  We cannot tell
without more details.

Cheers,
Ralf