diff options
| author | James Fish <james@fishcakez.com> | 2015-06-04 11:03:44 +0100 |
|---|---|---|
| committer | James Fish <james@fishcakez.com> | 2015-06-06 11:06:09 +0100 |
| commit | 643f04531c005b80dcef61038a6626ceedfb6337 (patch) | |
| tree | a9804a409a459bc522881fb1ebeea53230d63bbd | |
| parent | 6e7ec606e222ed42f9f71669a54ee15ec588d0aa (diff) | |
| download | rebar-643f04531c005b80dcef61038a6626ceedfb6337.tar.gz | |
Drop support for `shared` plt
| -rw-r--r-- | THANKS | 1 | ||||
| -rw-r--r-- | rebar.config.sample | 4 | ||||
| -rw-r--r-- | src/rebar_dialyzer.erl | 6 |
3 files changed, 3 insertions, 8 deletions
@@ -141,3 +141,4 @@ Paulo F. Oliveira Derek Brown Danil Onishchenko Stavros Aronis +James Fish diff --git a/rebar.config.sample b/rebar.config.sample index da1e929..916e47c 100644 --- a/rebar.config.sample +++ b/rebar.config.sample @@ -271,9 +271,7 @@ {dialyzer, [ - %% Store PLT in ~/.rebar/plt (Default) - {plt_location, shared}, - %% Store PLT locally inside the project in .rebar + %% Store PLT locally inside the project in .rebar (Default) {plt_location, local}, %% Store PLT in custom directory {plt_location, "custom_dir"}, diff --git a/src/rebar_dialyzer.erl b/src/rebar_dialyzer.erl index 0e44592..5dec614 100644 --- a/src/rebar_dialyzer.erl +++ b/src/rebar_dialyzer.erl @@ -144,7 +144,6 @@ info_help(Description) -> {dialyzer, [ {plt_location, local}, - {plt_location, shared}, {plt_location, "custom_dir"}, {plt_extra_apps, [app1, app2]}, {warnings, [unmatched_returns, error_handling]} @@ -176,10 +175,7 @@ plt_dir1(_Config, Location) when is_list(Location) -> end; plt_dir1(Config, local) -> BaseDir = rebar_utils:base_dir(Config), - filename:join([BaseDir, ".rebar"]); -plt_dir1(_Config, shared) -> - {ok, Home} = init:get_argument(home), - filename:join([Home, ".rebar", "plt"]). + filename:join([BaseDir, ".rebar"]). check_plt_existence(Plt) -> case filelib:is_regular(Plt) of |