makefiles: call GNU /bin/echo directly instead

[jump.git] / aesa / Makefile

diff --git a/aesa/Makefile b/aesa/Makefile
index 8a25551266f1a09ce721f7db197e1422bbf5ba6b..39a2f15cab461c8ca11fcee3a507e5156836c6e9 100644 (file)
--- a/aesa/Makefile
+++ b/aesa/Makefile
@@ -18,7 +18,7 @@ SYSTEMC_LIB = $(HOME)/systemc/lib-linux64/libsystemc.a
 JAVA   ?= java
 JAVAC  ?= javac
 DOTTY  ?= dotty
-ECHO   ?= echo
+ECHO   ?= /bin/echo -e
 SED    ?= sed
 CP     ?= cp
 RM     ?= rm