diff options
author | Stavros Aronis <aronisstav@gmail.com> | 2012-02-17 18:48:59 +0100 |
---|---|---|
committer | Henrik Nord <henrik@erlang.org> | 2012-05-21 15:31:17 +0200 |
commit | 571f4fb9838857364d85d21e7c38881ac0b8c695 (patch) | |
tree | f17f6cfe8c3b5aca128ec7236a470e3c41d750b2 /erts/etc | |
parent | f912241953ecece658f429ffd09f77e2e49ffa4c (diff) | |
download | otp-571f4fb9838857364d85d21e7c38881ac0b8c695.tar.gz otp-571f4fb9838857364d85d21e7c38881ac0b8c695.tar.bz2 otp-571f4fb9838857364d85d21e7c38881ac0b8c695.zip |
Allow more runtime flags and increase default process limit
Diffstat (limited to 'erts/etc')
-rw-r--r-- | erts/etc/common/dialyzer.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/erts/etc/common/dialyzer.c b/erts/etc/common/dialyzer.c index 04e9199ef3..70b11b1b36 100644 --- a/erts/etc/common/dialyzer.c +++ b/erts/etc/common/dialyzer.c @@ -189,6 +189,18 @@ main(int argc, char** argv) argc--, argv++; } + if (argc > 2 && strcmp(argv[1], "+P") == 0) { + PUSH2("+P", argv[2]); + argc--, argv++; + argc--, argv++; + } else PUSH2("+P", "1000000"); + + if (argc > 2 && strcmp(argv[1], "+sbt") == 0) { + PUSH2("+sbt", argv[2]); + argc--, argv++; + argc--, argv++; + } + PUSH("+B"); PUSH2("-boot", "start_clean"); PUSH3("-run", "dialyzer", "plain_cl"); |