From ba8daa5212c4d0ed843cc27aa7180eb75bdcc67f Mon Sep 17 00:00:00 2001 From: Tuncer Ayaz Date: Thu, 30 Sep 2010 13:38:14 +0200 Subject: Log {error, read_error} dialyzer plt_info error --- src/rebar_dialyzer.erl | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src') 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} -> -- cgit v1.1