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/configure.in.src | |
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/configure.in.src')
0 files changed, 0 insertions, 0 deletions