makefiles: call GNU /bin/echo directly instead
authorSebastian <basti@sraa.de>
Mon, 16 Dec 2013 22:00:56 +0000 (23:00 +0100)
committerSebastian <basti@sraa.de>
Mon, 16 Dec 2013 22:00:56 +0000 (23:00 +0100)
commit84b2539b604e9b7781aa0bd56a09b2736b661ce2
tree9d822d410108868c67bf50a0dfa3dcdf7ebac1ec
parent72e08f31e7589c2901158d3abdb7e116c6c6f83e
makefiles: call GNU /bin/echo directly instead

GNU echo requires the "-e" switch to handle escape sequences. Other versions
(usually shell-builtins) print out the switch or don't handle the sequences at
all. POSIX doesn't specify any behaviour, pointing to printf for consistency.

Call GNU's /bin/echo directly to pretty-print make output.
aesa/Makefile
minidol/Makefile
square/Makefile