diff options
| author | Hans Bolinder <[email protected]> | 2015-11-26 15:18:39 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-02-08 08:25:38 +0100 |
| commit | 4884986bc945978177b02a7e81c50a5ea2f007fa (patch) | |
| tree | 9a6df8eb1a2261e69b19a98c5a6d47bfed674796 /.gitattributes | |
| parent | e280686680fddb487f30c73d668091d68764f076 (diff) | |
| download | otp-4884986bc945978177b02a7e81c50a5ea2f007fa.tar.gz otp-4884986bc945978177b02a7e81c50a5ea2f007fa.tar.bz2 otp-4884986bc945978177b02a7e81c50a5ea2f007fa.zip | |
dialyzer: Fix a bug concerning the option 'plt_remove'
[James Fish:]
Dialyzer always asserts that files and directories passed in its
options exist. Therefore it is not possible to remove a beam/module
from a PLT when the beam file no longer exists. Dialyzer should not to
check files exist on disk when removing from the PLT.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions