diff options
| author | ruki <[email protected]> | 2015-11-23 00:13:50 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2015-11-23 00:13:50 +0800 |
| commit | aa1b385ef4344e9ea1f8d4b75e44e49df585d12a (patch) | |
| tree | e57872d6242679559469a64f039bd1382233227c | |
| parent | 60b3c7b83b732652a0e3394220229b83c5f9f2fc (diff) | |
uses bash for makefile
| -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) |