[erlang-patches] Add --merge_plts feature to dialyzer, so its possible now to combine several PLTs into single one.

Anton Fedorov <>
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: 
Jabber: 
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