aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStavros Aronis <[email protected]>2011-02-28 17:02:30 +0200
committerStavros Aronis <[email protected]>2011-02-28 17:17:13 +0200
commita56fa2bb7e691bb569efe8e848763538e5766ee1 (patch)
tree850fd2240908eabdfe5c89d75800f151eca09427
parent935940301df3c2f376eafab2d8c7f27628a51cd2 (diff)
downloadotp-a56fa2bb7e691bb569efe8e848763538e5766ee1.tar.gz
otp-a56fa2bb7e691bb569efe8e848763538e5766ee1.tar.bz2
otp-a56fa2bb7e691bb569efe8e848763538e5766ee1.zip
Write output_plt even when plt_check is ok
-rw-r--r--lib/dialyzer/src/dialyzer_cl.erl6
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_cl.erl b/lib/dialyzer/src/dialyzer_cl.erl
index 1987c1732c..2a9de7886f 100644
--- a/lib/dialyzer/src/dialyzer_cl.erl
+++ b/lib/dialyzer/src/dialyzer_cl.erl
@@ -188,6 +188,12 @@ init_opts_for_remove(Opts) ->
plt_common(#options{init_plts = [InitPlt]} = Opts, RemoveFiles, AddFiles) ->
case check_plt(Opts, RemoveFiles, AddFiles) of
ok ->
+ case Opts#options.output_plt of
+ none -> ok;
+ OutPlt ->
+ {ok, Binary} = file:read_file(InitPlt),
+ file:write_file(OutPlt, Binary)
+ end,
case Opts#options.report_mode of
quiet -> ok;
_ -> io:put_chars(" yes\n")