diff options
author | Joseph Wayne Norton <norton@alum.mit.edu> | 2010-11-23 00:03:45 +0900 |
---|---|---|
committer | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2010-11-23 19:03:56 +0100 |
commit | e36783112d9c2f0d9664819724354844b9410288 (patch) | |
tree | fba14edfce2af81efe6d01a38e1ed81675e2d451 | |
parent | fe664e8c50635eb937474608b32cd4ffdaf9a8aa (diff) |
Support dialyzer plt paths having "~/" as a prefix
e.g. {dialyzer_opts, [{plt, "~/.dialyzer_plt.R14B"}]}.
-rw-r--r-- | src/rebar_dialyzer.erl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/rebar_dialyzer.erl b/src/rebar_dialyzer.erl index f0fa2e9..9d45445 100644 --- a/src/rebar_dialyzer.erl +++ b/src/rebar_dialyzer.erl @@ -193,6 +193,8 @@ existing_plt_path(Config, File) -> ?ABORT("No PLT found~n", []) end end; + [$~|[$/|Plt]] -> + filename:join(Home,Plt); Plt -> Plt end. |