makefiles: call GNU /bin/echo directly instead

[jump.git] / square / Makefile

diff --git a/square/Makefile b/square/Makefile
index fc78207269fb65e3c35dbb3a8c88e190b1e6aacd..0bd09d175fb48e476b5d343deb1a7f4477e56f7b 100644 (file)
--- a/square/Makefile
+++ b/square/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