diff options
Diffstat (limited to 'erts/etc/common/erlexec.c')
-rw-r--r-- | erts/etc/common/erlexec.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/erts/etc/common/erlexec.c b/erts/etc/common/erlexec.c index 8dc9363af6..78c4440a3a 100644 --- a/erts/etc/common/erlexec.c +++ b/erts/etc/common/erlexec.c @@ -875,6 +875,16 @@ int main(int argc, char **argv) i++; break; } + if (argv[i][2] == 'O' && argv[i][3] == 's') { + if (argv[i][4] != '\0') + goto the_default; + NEXT_ARG_CHECK(); + argv[i][0] = '-'; + add_Eargs(argv[i]); + add_Eargs(argv[i+1]); + i++; + break; + } usage(argv[i]); break; case 'J': |