diff options
| author | Håkan Mattsson <[email protected]> | 2010-02-09 13:26:01 +0000 |
|---|---|---|
| committer | Erlang/OTP <[email protected]> | 2010-02-09 13:26:01 +0000 |
| commit | c03fd1f9ce3febe540cb6351d04a250c717001ad (patch) | |
| tree | 72ef73b7137e25aa4c3b1e99791bde8d6c5f7e1b /erts/etc | |
| parent | 6c5822f7177244e73c0c9ba748e01c31e8ffbcaf (diff) | |
| download | otp-c03fd1f9ce3febe540cb6351d04a250c717001ad.tar.gz otp-c03fd1f9ce3febe540cb6351d04a250c717001ad.tar.bz2 otp-c03fd1f9ce3febe540cb6351d04a250c717001ad.zip | |
OTP-8427 Removed spurious options to the emulator from escript.
Diffstat (limited to 'erts/etc')
| -rw-r--r-- | erts/etc/common/escript.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/erts/etc/common/escript.c b/erts/etc/common/escript.c index 3dc9fe1605..1bc5eb7651 100644 --- a/erts/etc/common/escript.c +++ b/erts/etc/common/escript.c @@ -375,11 +375,10 @@ main(int argc, char** argv) if (strcmp(basename, "escript") == 0) { #endif /* - * Push all options (without the hyphen) before the script name. + * Locate all options before the script name. */ while (argc > 1 && argv[1][0] == '-') { - PUSH(argv[1]+1); argc--; argv++; last_opt = argv; @@ -421,7 +420,7 @@ main(int argc, char** argv) PUSH3("-run", "escript", "start"); /* - * Push all options (without the hyphen) before the script name. + * Push all options before the script name. But omit the leading hyphens. */ while (first_opt != last_opt) { |