summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-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} ->