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