diff options
| author | Björn Gustavsson <[email protected]> | 2016-11-18 12:42:17 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-11-18 14:28:31 +0100 |
| commit | 79200cff21b09a17f6eec5eed755807c8e2b5e17 (patch) | |
| tree | 35f8e1a87e6631a09b74cb85e035184f08c6f344 /plt | |
| parent | 08f1aa472cb28d148963495244acc7e9cafed3c4 (diff) | |
| download | otp-79200cff21b09a17f6eec5eed755807c8e2b5e17.tar.gz otp-79200cff21b09a17f6eec5eed755807c8e2b5e17.tar.bz2 otp-79200cff21b09a17f6eec5eed755807c8e2b5e17.zip | |
Travis: Reduce memory consumption for dialyzer
9e06884c3a7db started to run Dialyzer in Travis.
After that, Travis has crashed several times because of the memory
limit of 2Gb has been exceeded. Try to fix that by analyzing only
three or four applications at a time.
Diffstat (limited to 'plt')
0 files changed, 0 insertions, 0 deletions