# -----------------------------------------------------------------
distclean: clean
rm -f config.cache config.log config.status
# -----------------------------------------------------------------
distclean: clean
rm -f config.cache config.log config.status