summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoseph Wayne Norton <norton@alum.mit.edu>2010-11-23 00:03:45 +0900
committerTuncer Ayaz <tuncer.ayaz@gmail.com>2010-11-23 19:03:56 +0100
commite36783112d9c2f0d9664819724354844b9410288 (patch)
treefba14edfce2af81efe6d01a38e1ed81675e2d451
parentfe664e8c50635eb937474608b32cd4ffdaf9a8aa (diff)
Support dialyzer plt paths having "~/" as a prefix
e.g. {dialyzer_opts, [{plt, "~/.dialyzer_plt.R14B"}]}.
-rw-r--r--src/rebar_dialyzer.erl2
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.