diff options
| author | Stavros Aronis <[email protected]> | 2012-02-17 18:48:59 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:17 +0200 |
| commit | 571f4fb9838857364d85d21e7c38881ac0b8c695 (patch) | |
| tree | f17f6cfe8c3b5aca128ec7236a470e3c41d750b2 /erts/etc/common/dialyzer.c | |
| 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/common/dialyzer.c')
| -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"); |