[erlang-patches] Add --merge_plts feature to dialyzer, so its possible now to combine several PLTs into single one.
Anton Fedorov
datacompboy@REDACTED
Tue Jul 19 20:58:25 CEST 2011
To be able to generate plts for system in parallel, its useful to generate
one-plt per application, and merge them after to one single big PLT.
git fetch git://github.com/datacompboy/otp.git dialyzer_merge_plts
--
Regards,
Anton Fedorov
Call2ru service
E-Mail: datacompboy@REDACTED
Jabber: datacompboy@REDACTED
ICQ: 272-35-262
Mobile: +7-913-925-7974 [SMS 24h, Call 05:00-19:00 MSKT (GMT+3)]
More information about the erlang-patches
mailing list