diff options
author | Dan Gudmundsson <[email protected]> | 2017-09-26 14:05:12 +0200 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2017-09-28 11:38:28 +0200 |
commit | c4015fbe39a2b76f9746f91eb705a59ac59b06f4 (patch) | |
tree | d44c400877a264603692906b0ce7022f2221a7ff /erts/etc/common/typer.c | |
parent | 52ca88f1c23657713946e22e0910f2cb7f2f601e (diff) | |
download | otp-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/etc/common/typer.c')
-rw-r--r-- | erts/etc/common/typer.c | 2 |
1 files changed, 1 insertions, 1 deletions
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"); |