From 16f6f764e9986cb8a86de667c8bced631bae5f82 Mon Sep 17 00:00:00 2001 From: ruki Date: Mon, 23 Nov 2015 00:22:45 +0800 Subject: fix some bug for makefile shell --- core/makefile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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 -- cgit v1.3.1