aboutsummaryrefslogtreecommitdiffstats
path: root/make
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2015-11-26 15:18:39 +0100
committerHans Bolinder <[email protected]>2016-02-08 08:25:38 +0100
commit4884986bc945978177b02a7e81c50a5ea2f007fa (patch)
tree9a6df8eb1a2261e69b19a98c5a6d47bfed674796 /make
parente280686680fddb487f30c73d668091d68764f076 (diff)
downloadotp-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 'make')
0 files changed, 0 insertions, 0 deletions