aboutsummaryrefslogtreecommitdiffstats
path: root/erts/etc
diff options
context:
space:
mode:
authorStavros Aronis <aronisstav@gmail.com>2012-02-17 18:48:59 +0100
committerHenrik Nord <henrik@erlang.org>2012-05-21 15:31:17 +0200
commit571f4fb9838857364d85d21e7c38881ac0b8c695 (patch)
treef17f6cfe8c3b5aca128ec7236a470e3c41d750b2 /erts/etc
parentf912241953ecece658f429ffd09f77e2e49ffa4c (diff)
downloadotp-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.c12
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");