On Wed, Jun 6, 2007 at 12:42:36 +0200, Vincent Tabard wrote: > 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.
it isn't, afaik. (and using /bin/echo will break on systems where that behaves like dash's builtin, if there are any) > 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. > the other options i can think of right now are printf and cat, which should work in all cases. julien
