aboutsummaryrefslogtreecommitdiffstats
path: root/erts
diff options
context:
space:
mode:
authorHenrik Nord <[email protected]>2012-05-31 15:59:00 +0200
committerHenrik Nord <[email protected]>2012-05-31 15:59:00 +0200
commit523516d049cd246fd68f5ec69c56fd4d5b8172f5 (patch)
tree594c6ad6520668158862d14dc800bccff4d20a76 /erts
parent44870b7f3640946f6d80599a8a36314dbafce70f (diff)
parent3e348c69b6921dd0e2c5b699ccd36d46321c953c (diff)
downloadotp-523516d049cd246fd68f5ec69c56fd4d5b8172f5.tar.gz
otp-523516d049cd246fd68f5ec69c56fd4d5b8172f5.tar.bz2
otp-523516d049cd246fd68f5ec69c56fd4d5b8172f5.zip
Merge branch 'maint'
Diffstat (limited to 'erts')
-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");