diff options
-rwxr-xr-x | binary/all_in_one | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/binary/all_in_one b/binary/all_in_one index dcef0fbf..4547d772 100755 --- a/binary/all_in_one +++ b/binary/all_in_one | |||
@@ -139,10 +139,10 @@ end | |||
139 | 139 | ||
140 | local function write_hardcoded_module(dir) | 140 | local function write_hardcoded_module(dir) |
141 | 141 | ||
142 | local system = if_platform("windows", "MINGW") | 142 | local system |
143 | local processor = if_platform("windows", "x86") | 143 | local processor = if_platform("windows", "x86") |
144 | 144 | ||
145 | if not system then | 145 | if if_platform("unix", true) then |
146 | system = util.popen_read("uname -s") | 146 | system = util.popen_read("uname -s") |
147 | processor = util.popen_read("uname -m") | 147 | processor = util.popen_read("uname -m") |
148 | 148 | ||