diff options
| author | ruki <[email protected]> | 2015-11-23 00:22:45 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2015-11-23 00:22:45 +0800 |
| commit | 16f6f764e9986cb8a86de667c8bced631bae5f82 (patch) | |
| tree | e2f4df2037c8449c52c9bb283d61b8cc72fd040a | |
| parent | aa1b385ef4344e9ea1f8d4b75e44e49df585d12a (diff) | |
fix some bug for makefile shell
| -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 |