diff options
author | larsr <[email protected]> | 2013-12-16 15:16:40 +0100 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2014-02-11 14:04:00 +0100 |
commit | a8974c567064fb4e39908fe9d60503d8de5f8bea (patch) | |
tree | 322f433faf33962be10580e73958db22aab2457a /lib/dialyzer | |
parent | 25237481ccccd3ddfa74582dc267632ad618ba30 (diff) | |
download | otp-a8974c567064fb4e39908fe9d60503d8de5f8bea.tar.gz otp-a8974c567064fb4e39908fe9d60503d8de5f8bea.tar.bz2 otp-a8974c567064fb4e39908fe9d60503d8de5f8bea.zip |
make clean should not remove SKIP files
Add new make target 'distclean' that removes
files created by configure.
SKIP files are created by configure for instance
if configured --without-javac. They should only
be removed if one has to reconfigure, otherwise
'make clean; make' breaks.
Diffstat (limited to 'lib/dialyzer')
0 files changed, 0 insertions, 0 deletions