The symlink /bin/sh --> dash seems to be present on a few Ubuntu
machines I've tested. So, reverting to echo is definitely not a solution
for me. If we can make sure that make uses bash's echo (or whatever GNU
echo), then yes we can revert to echo. Other solution would be to take
into account that dash, as you said, is strictly POSIX-compliant. Thus,
I guess that interpreting escape sequences is the default behavior by
POSIX standards. In this case, we can use echo "\\\title..." in our
Makefiles (and make sure that it will use a POSIX-compliant echo, or a
GNU one with -e option). This will of course hurt GNU echo.
Regards,
Vincent Tabard
Radio Pytagor : http://www.radiopytagor.com/
Romain Beauxis a écrit :
Le Wednesday 06 June 2007 10:38:03 Vincent Tabard, vous avez écrit :
And your last question gave me the answer: the 'echo' make uses is
probably the one from /bin/sh, which is a symlink to dash. And dash's
'echo' doesn't seem to know the -E option, and it does always replace
escape chars (\t, \n, etc). I don't know if dash is the default /bin/sh
of Ubuntu or if it was put there by some other package.
I love so mushc POSIX standards when it comes to those nasty dirty side
effects :)
About the makefile themselves, shall we revert the change from echo
to /bin/echo or shall we keep /bin/echo ?
Romain
-------------------------------------------------------------------------
This SF.net email is sponsored by DB2 Express
Download DB2 Express C - the FREE version of DB2 express and take
control of your XML. No limits. Just data. Click to get it now.
http://sourceforge.net/powerbar/db2/
_______________________________________________
Savonet-devl mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/savonet-devl
