Use abort in check-plt and update doc

This commit is contained in:
David Reid 2011-04-01 16:16:02 -07:00 committed by Tuncer Ayaz
parent be209f24ff
commit 300a4ac22e

View file

@ -119,7 +119,7 @@ dialyze(Config, File) ->
end, end,
ok. ok.
%% @doc Check whether the PLT is up-to-date (rebuilding it if not). %% @doc Check whether the PLT is up-to-date.
-spec 'check-plt'(Config::rebar_config:config(), File::file:filename()) -> ok. -spec 'check-plt'(Config::rebar_config:config(), File::file:filename()) -> ok.
'check-plt'(Config, File) -> 'check-plt'(Config, File) ->
Plt = existing_plt_path(Config, File), Plt = existing_plt_path(Config, File),
@ -128,10 +128,10 @@ dialyze(Config, File) ->
?CONSOLE("The PLT ~s is up-to-date~n", [Plt]); ?CONSOLE("The PLT ~s is up-to-date~n", [Plt]);
_ -> _ ->
%% @todo Determine whether this is the correct summary. %% @todo Determine whether this is the correct summary.
?CONSOLE("The PLT ~s is not up-to-date~n", [Plt]) ?ABORT("The PLT ~s is not up-to-date~n", [Plt])
catch catch
throw:{dialyzer_error, _Reason} -> throw:{dialyzer_error, _Reason} ->
?CONSOLE("The PLT ~s is not valid.~n", [Plt]) ?ABORT("The PLT ~s is not valid.~n", [Plt])
end, end,
ok. ok.