summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHeinz N. Gies <heinz@licenser.net>2015-09-22 17:48:10 +0200
committerHeinz N. Gies <heinz@licenser.net>2015-09-22 17:48:10 +0200
commit8959ffa1518e6d74ad9ae26bd92bf614d9ae7aa4 (patch)
tree037a31ce1141ee7f3a969822b93ae5fe426e4234
parentea95e68ab0bfb7344687ea08ca566b185673cd99 (diff)
Write original messages not fancy ones to disk
-rw-r--r--src/rebar_prv_dialyzer.erl4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/rebar_prv_dialyzer.erl b/src/rebar_prv_dialyzer.erl
index 035155b..7cf7e28 100644
--- a/src/rebar_prv_dialyzer.erl
+++ b/src/rebar_prv_dialyzer.erl
@@ -404,7 +404,7 @@ run_dialyzer(State, Opts, Output) ->
format_warnings(Output, Warnings) ->
Warnings1 = format_warnings(Warnings),
console_warnings(Warnings1),
- file_warnings(Output, Warnings1),
+ file_warnings(Output, Warnings),
length(Warnings1).
format_warnings(Warnings) ->
@@ -418,7 +418,7 @@ console_warnings(Warnings) ->
file_warnings(_, []) ->
ok;
file_warnings(Output, Warnings) ->
- Warnings1 = [[Warning, $\n] || Warning <- Warnings],
+ Warnings1 = [[dialyzer:format_warning(Warning, fullpath), $\n] || Warning <- Warnings],
case file:write_file(Output, Warnings1, [append]) of
ok ->
ok;