Yes, sorry for the imprecision: the strange thing is that although both
'echo' and '/bin/echo' seem to have the same behavior in my shell, they
don't behave the same in make.
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.
Regards,
Vincent Tabard
Radio Pytagor : http://www.radiopytagor.com/
Julien Cristau a écrit :
On Wed, Jun 6, 2007 at 10:03:11 +0200, Vincent Tabard wrote:
(This was done within a Makefile. Doing this in my shell outputs the
same thing as /bin/echo in a Makefile, which is logical since they
should be the same command.)
No they're not. If your shell is bash, then echo is a shell builtin.
'which' isn't, so obviously it can't know that; use 'type' instead.
I'm interested in what your /bin/sh is, though.
Julien
[and please don't top-post kthxbye]
-------------------------------------------------------------------------
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
