[Top][All Lists]

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

Re: libtool-2.2.10: print vs. printf

From: Ralf Wildenhues
Subject: Re: libtool-2.2.10: print vs. printf
Date: Sat, 23 Oct 2010 09:16:12 +0200
User-agent: Mutt/1.5.20 (2010-08-04)

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.


reply via email to

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