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
