[Top][All Lists]

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

libtool-2.2.10: print vs. printf

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


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

or am i wrong, and it is specified, that the shells that configure and
make use have to be the same?


reply via email to

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