diff options
| author | Zandra <[email protected]> | 2015-11-17 13:01:44 +0100 |
|---|---|---|
| committer | Zandra <[email protected]> | 2015-11-17 13:01:44 +0100 |
| commit | a7f3e7c6e65d845e8a6d0c5e3b5fad83c1036ace (patch) | |
| tree | 9f9e85cdf1237a74d71a4398f5a089d528df256d /erts/etc/common/erlc.c | |
| parent | e9442a7b93f6946b736b6b1e3621b405667ef672 (diff) | |
| parent | d42741c7ec0cfe8287a2866a5e837d4da26a97ca (diff) | |
| download | otp-a7f3e7c6e65d845e8a6d0c5e3b5fad83c1036ace.tar.gz otp-a7f3e7c6e65d845e8a6d0c5e3b5fad83c1036ace.tar.bz2 otp-a7f3e7c6e65d845e8a6d0c5e3b5fad83c1036ace.zip | |
Merge branch 'maint'
Diffstat (limited to 'erts/etc/common/erlc.c')
| -rw-r--r-- | erts/etc/common/erlc.c | 22 |
1 files changed, 1 insertions, 21 deletions
diff --git a/erts/etc/common/erlc.c b/erts/etc/common/erlc.c index f9d909e01c..049afc526a 100644 --- a/erts/etc/common/erlc.c +++ b/erts/etc/common/erlc.c @@ -200,7 +200,7 @@ int main(int argc, char** argv) eargv_base = (char **) emalloc(eargv_size*sizeof(char*)); eargv = eargv_base; eargc = 0; - push_words(emulator); + PUSH(strsave(emulator)); eargc_base = eargc; eargv = eargv + eargv_size/2; eargc = 0; @@ -330,26 +330,6 @@ process_opt(int* pArgc, char*** pArgv, int offset) return argv[1]; } -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) { |