summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTuncer Ayaz <tuncer.ayaz@gmail.com>2010-09-30 13:38:14 +0200
committerTuncer Ayaz <tuncer.ayaz@gmail.com>2010-09-30 13:38:14 +0200
commitba8daa5212c4d0ed843cc27aa7180eb75bdcc67f (patch)
tree9ab4e14f63732f66d55a28adb1237f9cfbb9e942
parent59ecb2028d577ac7deac2f63a16b143ad238ae64 (diff)
Log {error, read_error} dialyzer plt_info error
-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 2056151..0604b4e 100644
--- a/src/rebar_dialyzer.erl
+++ b/src/rebar_dialyzer.erl
@@ -72,6 +72,8 @@ analyze(Config, File) ->
{error, no_such_file} ->
?ABORT("The PLT ~s does not exist. Please perform the build_plt command to ~n"
"produce the initial PLT. Be aware this operation may take several minutes.", [Plt]);
+ {error, read_error} ->
+ ?ABORT("Unable to read PLT ~n~n", [Plt]);
{error, not_valid} ->
?ABORT("The PLT ~s is not valid.~n", [Plt]);
{error, _Reason} ->