diff options
| -rwxr-xr-x | core/makefile | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/core/makefile b/core/makefile index 3c56f5b36..0cf7dc8c0 100755 --- a/core/makefile +++ b/core/makefile @@ -1,4 +1,5 @@ # main makefile +SHELL=/bin/bash # ###################################################################################### # includes @@ -238,11 +239,7 @@ SED := sed -i endif # echo -ifeq ($(HOST),mac) -ECHO := echo -else ECHO := echo -e -endif # make upper ifeq ($(HOST),mac) |
