Makefile: Don't use `echo`'s `-e` option for portability.
authorRogério Brito <rbrito@ime.usp.br>
Thu, 8 Dec 2011 15:18:17 +0000 (13:18 -0200)
committerRogério Brito <rbrito@ime.usp.br>
Thu, 8 Dec 2011 15:18:29 +0000 (13:18 -0200)
commit66e8777769ae1408dde499701e07e2bf2c598a21
tree62a7830b4d3601b50b0c9cb5744eeba189fe6e51
parent348486ced4832e4de28c1eb024ef5d4f9c5e6fa5
Makefile: Don't use `echo`'s `-e` option for portability.

Many systems (including Debian, Ubuntu and derivatives like Linux Mint) use
Dash as a noninteractive version of `/bin/sh`, invoked by `make`.

Dash's `echo` command doesn't understand the `-e` option and this generates
spurious output when running `make`.  See [a bugreport][0] for one of the
many instances of this bug/feature in action.

[0]: https://bugs.launchpad.net/ubuntu/+source/dash/+bug/72167
Makefile