diff options
| author | Rogério Brito <rbrito@ime.usp.br> | 2011-12-08 13:18:17 -0200 |
|---|---|---|
| committer | Rogério Brito <rbrito@ime.usp.br> | 2011-12-08 13:18:29 -0200 |
| commit | 66e8777769ae1408dde499701e07e2bf2c598a21 (patch) | |
| tree | 62a7830b4d3601b50b0c9cb5744eeba189fe6e51 /LATEST_VERSION | |
| parent | 348486ced4832e4de28c1eb024ef5d4f9c5e6fa5 (diff) | |
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
Diffstat (limited to 'LATEST_VERSION')
0 files changed, 0 insertions, 0 deletions