diff options
author | Erlang/OTP <[email protected]> | 2015-12-17 14:52:56 +0100 |
---|---|---|
committer | Erlang/OTP <[email protected]> | 2015-12-17 14:52:56 +0100 |
commit | 41d5b82499b1e76e9c143361a34967c0cbfe5573 (patch) | |
tree | 99f399c9a9235f394758566255f1559f6280d983 /erts/etc/common/dialyzer.c | |
parent | 82a835d94be7ee5e98d101a29999fedaf6cd75fe (diff) | |
parent | f77436f337d83a9751dc84d53791500c7f99c92e (diff) | |
download | otp-41d5b82499b1e76e9c143361a34967c0cbfe5573.tar.gz otp-41d5b82499b1e76e9c143361a34967c0cbfe5573.tar.bz2 otp-41d5b82499b1e76e9c143361a34967c0cbfe5573.zip |
Merge branch 'egil/fix-windows-paths/OTP-13202' into maint
* egil/fix-windows-paths/OTP-13202:
Revert "Fix erroneous splitting of emulator path"
Diffstat (limited to 'erts/etc/common/dialyzer.c')
-rw-r--r-- | erts/etc/common/dialyzer.c | 24 |
1 files changed, 23 insertions, 1 deletions
diff --git a/erts/etc/common/dialyzer.c b/erts/etc/common/dialyzer.c index cac1464bf6..c45626606c 100644 --- a/erts/etc/common/dialyzer.c +++ b/erts/etc/common/dialyzer.c @@ -65,6 +65,7 @@ static int eargc; /* Number of arguments in eargv. */ static void error(char* format, ...); static char* emalloc(size_t size); static char* strsave(char* string); +static void push_words(char* src); static int run_erlang(char* name, char** argv); static char* get_default_emulator(char* progname); #ifdef __WIN32__ @@ -188,7 +189,7 @@ int main(int argc, char** argv) eargv_base = (char **) emalloc(eargv_size*sizeof(char*)); eargv = eargv_base; eargc = 0; - PUSH(strsave(emulator)); + push_words(emulator); eargc_base = eargc; eargv = eargv + eargv_size/2; eargc = 0; @@ -268,6 +269,27 @@ int main(int argc, char** argv) return run_erlang(eargv[0], eargv); } +static void +push_words(char* src) +{ + char sbuf[MAXPATHLEN]; + char* dst; + + dst = sbuf; + while ((*dst++ = *src++) != '\0') { + if (isspace((int)*src)) { + *dst = '\0'; + PUSH(strsave(sbuf)); + dst = sbuf; + do { + src++; + } while (isspace((int)*src)); + } + } + if (sbuf[0]) + PUSH(strsave(sbuf)); +} + #ifdef __WIN32__ wchar_t *make_commandline(char **argv) { |