diff options
| author | David Reid <dreid@mochimedia.com> | 2011-04-01 16:16:02 -0700 |
|---|---|---|
| committer | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2011-04-02 17:57:13 +0200 |
| commit | 300a4ac22e3b8ca1057e2c703de9b88154d32037 (patch) | |
| tree | 39282afb251b56a86fdbba8e98148119a8db4d3b | |
| parent | be209f24ff12dc2518f86ebf50fced143b21782b (diff) | |
Use abort in check-plt and update doc
| -rw-r--r-- | src/rebar_dialyzer.erl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/rebar_dialyzer.erl b/src/rebar_dialyzer.erl index 431299a..d697963 100644 --- a/src/rebar_dialyzer.erl +++ b/src/rebar_dialyzer.erl @@ -119,7 +119,7 @@ dialyze(Config, File) -> end, 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. 'check-plt'(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]); _ -> %% @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 throw:{dialyzer_error, _Reason} -> - ?CONSOLE("The PLT ~s is not valid.~n", [Plt]) + ?ABORT("The PLT ~s is not valid.~n", [Plt]) end, ok. |