diff options
| author | Hans Bolinder <[email protected]> | 2017-02-03 15:05:46 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-02-03 15:05:46 +0100 |
| commit | 2852b631837118085c7691a536d9a20db65ec1c8 (patch) | |
| tree | ca0e3a5ec073f9e5dbf3e5f73adcd683c039d2a9 /.gitattributes | |
| parent | ebee7bf96da4f3ea1520e5a72e37c09462920687 (diff) | |
| download | otp-2852b631837118085c7691a536d9a20db65ec1c8.tar.gz otp-2852b631837118085c7691a536d9a20db65ec1c8.tar.bz2 otp-2852b631837118085c7691a536d9a20db65ec1c8.zip | |
dialyzer: Correct PLT tests
Use explicit file names of PLTs so that daily builds&tests running
simultaneously under the same user do not interfere with each other
("$HOME/.dialyzer_plt" is the default PLT name).
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions