aboutsummaryrefslogtreecommitdiffstats
path: root/erts
diff options
context:
space:
mode:
authorDan Gudmundsson <[email protected]>2017-09-26 14:05:12 +0200
committerDan Gudmundsson <[email protected]>2017-09-28 11:38:28 +0200
commitc4015fbe39a2b76f9746f91eb705a59ac59b06f4 (patch)
treed44c400877a264603692906b0ce7022f2221a7ff /erts
parent52ca88f1c23657713946e22e0910f2cb7f2f601e (diff)
downloadotp-c4015fbe39a2b76f9746f91eb705a59ac59b06f4.tar.gz
otp-c4015fbe39a2b76f9746f91eb705a59ac59b06f4.tar.bz2
otp-c4015fbe39a2b76f9746f91eb705a59ac59b06f4.zip
dialyzer: Do not load .erlang
Use 'no_dot_erlang' start script for tools. Options and paths should be stated on the command line.
Diffstat (limited to 'erts')
-rw-r--r--erts/etc/common/dialyzer.c2
-rw-r--r--erts/etc/common/typer.c2
2 files changed, 2 insertions, 2 deletions
diff --git a/erts/etc/common/dialyzer.c b/erts/etc/common/dialyzer.c
index 0e74eb065b..b45d5c7ca7 100644
--- a/erts/etc/common/dialyzer.c
+++ b/erts/etc/common/dialyzer.c
@@ -255,7 +255,7 @@ int main(int argc, char** argv)
}
PUSH("+B");
- PUSH2("-boot", "start_clean");
+ PUSH2("-boot", "no_dot_erlang");
PUSH3("-run", "dialyzer", "plain_cl");
PUSH("-extra");
diff --git a/erts/etc/common/typer.c b/erts/etc/common/typer.c
index b64cbb4a92..f13135d883 100644
--- a/erts/etc/common/typer.c
+++ b/erts/etc/common/typer.c
@@ -177,7 +177,7 @@ main(int argc, char** argv)
}
PUSH("+B");
- PUSH2("-boot", "start_clean");
+ PUSH2("-boot", "no_dot_erlang");
PUSH3("-run", "typer", "start");
PUSH("-extra");