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)
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


No differences found