diff options
| author | James Fish <james@fishcakez.com> | 2015-03-05 14:10:09 +0000 |
|---|---|---|
| committer | James Fish <james@fishcakez.com> | 2015-03-05 14:19:08 +0000 |
| commit | 7f60448d333b2fa78de2de14f0f047eb12116bc9 (patch) | |
| tree | 702fb223a17f7dae3bc35f84d2932ff395354464 | |
| parent | 5f773d7adf738a1dbfdb9c047952477007d70ad3 (diff) | |
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.
| -rw-r--r-- | src/rebar_prv_dialyzer.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/rebar_prv_dialyzer.erl b/src/rebar_prv_dialyzer.erl index 9d2c10a..7268f06 100644 --- a/src/rebar_prv_dialyzer.erl +++ b/src/rebar_prv_dialyzer.erl @@ -86,8 +86,8 @@ format_error(Reason) -> %% Internal functions 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). default_plt() -> |