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 _______________________________________________ http://lists.gnu.org/mailman/listinfo/libtool
