diff options
| author | Mikael Pettersson <[email protected]> | 2017-07-02 09:15:26 +0200 |
|---|---|---|
| committer | Mikael Pettersson <[email protected]> | 2017-07-02 09:15:26 +0200 |
| commit | 4d484afced06366cbeac0cfb15ad8bb14ee46fba (patch) | |
| tree | d055905abe1164c90b60c8989e27560399f2ee4c /erts/etc/common/escript.c | |
| parent | 63969565f797c3ae291c6d71aff52cd254e177e3 (diff) | |
| download | otp-4d484afced06366cbeac0cfb15ad8bb14ee46fba.tar.gz otp-4d484afced06366cbeac0cfb15ad8bb14ee46fba.tar.bz2 otp-4d484afced06366cbeac0cfb15ad8bb14ee46fba.zip | |
escript.c: remove dead code
Diffstat (limited to 'erts/etc/common/escript.c')
| -rw-r--r-- | erts/etc/common/escript.c | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/erts/etc/common/escript.c b/erts/etc/common/escript.c index 7f0af77a4c..9cd5dd3fab 100644 --- a/erts/etc/common/escript.c +++ b/erts/etc/common/escript.c @@ -74,7 +74,6 @@ static void error(char* format, ...); static void* emalloc(size_t size); static void efree(void *p); 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__ @@ -583,26 +582,6 @@ main(int argc, char** argv) return run_erlang(eargv[0], eargv); } -static void -push_words(char* src) -{ - char sbuf[PMAX]; - 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) { |