Browse Source

Change default project PLT location to base directory

Previously dialyzer stored the project PLT in ./build/, which meant the
same PLT was used for all profiles. This could mean partial rebuilding
of a PLT when switching between profiles.
pull/227/head
James Fish 10 years ago
parent
commit
7f60448d33
1 changed files with 2 additions and 2 deletions
  1. +2
    -2
      src/rebar_prv_dialyzer.erl

+ 2
- 2
src/rebar_prv_dialyzer.erl View File

@ -86,8 +86,8 @@ format_error(Reason) ->
%% Internal functions %% Internal functions
get_plt_location(State) -> get_plt_location(State) ->
BuildDir = rebar_state:get(State, base_dir, ?DEFAULT_BASE_DIR),
DefaultPlt = filename:join([BuildDir, default_plt()]),
BaseDir = rebar_dir:base_dir(State),
DefaultPlt = filename:join(BaseDir, default_plt()),
rebar_state:get(State, dialyzer_plt, DefaultPlt). rebar_state:get(State, dialyzer_plt, DefaultPlt).
default_plt() -> default_plt() ->

Loading…
Cancel
Save