[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: libtool-2.2.10: print vs. printf

From: Markus Duft
Subject: Re: libtool-2.2.10: print vs. printf
Date: Wed, 27 Oct 2010 09:13:17 +0200
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv: Gecko/20100913 Lightning/1.0b3pre Thunderbird/3.1.3

On 10/23/2010 09:16 AM, Ralf Wildenhues wrote:
> 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
>>, 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, or SHELL or
> CONFIG_SHELL in, or something similar.  We cannot tell
> without more details.

oh, well - good to know that ;) is there some documentation i can refer to
wrt to this requirement? it seems we need to adapt some things, as this was
not the case with previous versions - and i need to argue the need to do the
work ;)


> Cheers,
> Ralf

reply via email to

[Prev in Thread] Current Thread [Next in Thread]