erlang/otp — pull request #172 by larsr (2013-12-16 14:17:11+00:00)
Title: 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.