aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_plt.erl
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2017-03-02 15:03:34 +0100
committerBjörn Gustavsson <[email protected]>2017-03-02 15:33:44 +0100
commit74e9234a87f6fac98900201a481696b31df2bdab (patch)
tree8684209adb60df8097fab6d3aa8673f4c32267c3 /lib/dialyzer/src/dialyzer_plt.erl
parent369ef2ee5586e5cad2f16f0b8f956be011ba1550 (diff)
downloadotp-74e9234a87f6fac98900201a481696b31df2bdab.tar.gz
otp-74e9234a87f6fac98900201a481696b31df2bdab.tar.bz2
otp-74e9234a87f6fac98900201a481696b31df2bdab.zip
dialyzer, observer: Use portable lookup of home directory
Use init:get_argument(home) to find the location of the home directory. That will work on all platforms (including Windows). Note that the run-time system will fail to start if HOME (or the equivalent on Windows) is not set. Therefore, it can be assumed that init:get_argument(home) will not fail. ERL-161
Diffstat (limited to 'lib/dialyzer/src/dialyzer_plt.erl')
-rw-r--r--lib/dialyzer/src/dialyzer_plt.erl8
1 files changed, 2 insertions, 6 deletions
diff --git a/lib/dialyzer/src/dialyzer_plt.erl b/lib/dialyzer/src/dialyzer_plt.erl
index 0eda73a208..5ababa43dc 100644
--- a/lib/dialyzer/src/dialyzer_plt.erl
+++ b/lib/dialyzer/src/dialyzer_plt.erl
@@ -234,12 +234,8 @@ contains_mfa(#plt{info = Info, contracts = Contracts}, MFA) ->
get_default_plt() ->
case os:getenv("DIALYZER_PLT") of
false ->
- case os:getenv("HOME") of
- false ->
- plt_error("The HOME environment variable needs to be set " ++
- "so that Dialyzer knows where to find the default PLT");
- HomeDir -> filename:join(HomeDir, ".dialyzer_plt")
- end;
+ {ok,[[HomeDir]]} = init:get_argument(home),
+ filename:join(HomeDir, ".dialyzer_plt");
UserSpecPlt -> UserSpecPlt
end.