diff options
| author | ruki <[email protected]> | 2015-06-03 13:47:32 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2015-06-03 13:47:32 +0800 |
| commit | 6ba8d0eb8d09d5170242837ef091c04ab4da6047 (patch) | |
| tree | 33ad58bbaccaec6d0b3a0035fd92602070454ba2 /xmake/scripts/base/makefile.lua | |
| parent | 8f5a561006bb5b0952278075deb908633317c987 (diff) | |
add string split
Diffstat (limited to 'xmake/scripts/base/makefile.lua')
| -rw-r--r-- | xmake/scripts/base/makefile.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/xmake/scripts/base/makefile.lua b/xmake/scripts/base/makefile.lua index 68ff484e1..1624af101 100644 --- a/xmake/scripts/base/makefile.lua +++ b/xmake/scripts/base/makefile.lua @@ -232,8 +232,8 @@ function makefile.build(target) assert(buildir) -- done build - local ok = os.execute(string.format("make -f %s %s", buildir .. "/makefile", target)) - if ok ~= 0 then + local ok = platform.build(buildir .. "/makefile", target) + if not ok then -- error utils.error("build target: %s failed!", target) return false |