diff options
author | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2010-09-30 13:38:14 +0200 |
---|---|---|
committer | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2010-09-30 13:38:14 +0200 |
commit | ba8daa5212c4d0ed843cc27aa7180eb75bdcc67f (patch) | |
tree | 9ab4e14f63732f66d55a28adb1237f9cfbb9e942 | |
parent | 59ecb2028d577ac7deac2f63a16b143ad238ae64 (diff) |
Log {error, read_error} dialyzer plt_info error
-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 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} -> |