diff options
| author | Björn Gustavsson <[email protected]> | 2017-01-12 12:59:29 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-01-12 15:00:25 +0100 |
| commit | 7c1cd888df9331efe9eb010b0ed3061274840da5 (patch) | |
| tree | 67e1f3b0e76f0ab8a27fffd253cbf4d24f42c3ad /make/save_args | |
| parent | 568e6b5faebf85fb35119858fcb4824f46a4266c (diff) | |
| download | otp-7c1cd888df9331efe9eb010b0ed3061274840da5.tar.gz otp-7c1cd888df9331efe9eb010b0ed3061274840da5.tar.bz2 otp-7c1cd888df9331efe9eb010b0ed3061274840da5.zip | |
Travis: Simplify running of dialyzer
Now that dialyzer has been optimized for memory usage,
we can combine the dialyzer invocations that use the same
options.
Diffstat (limited to 'make/save_args')
0 files changed, 0 insertions, 0 deletions