diff options
| author | Hans Bolinder <[email protected]> | 2017-01-20 15:28:33 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-02-03 08:58:01 +0100 |
| commit | 416711a87dcc937d78990ada5da0b8df98a8e1ee (patch) | |
| tree | 6269f2ab53d0295f5bea2a82c29c936690154435 /lib/dialyzer/src/dialyzer_worker.erl | |
| parent | 7e0a7a58eb3557bd0d5d372a3793119a5e9ffe61 (diff) | |
| download | otp-416711a87dcc937d78990ada5da0b8df98a8e1ee.tar.gz otp-416711a87dcc937d78990ada5da0b8df98a8e1ee.tar.bz2 otp-416711a87dcc937d78990ada5da0b8df98a8e1ee.zip | |
dialyzer: Write PLT in subprocess
At common case, which will otherwise leave a big heap.
Diffstat (limited to 'lib/dialyzer/src/dialyzer_worker.erl')
0 files changed, 0 insertions, 0 deletions