# -----------------------------------------------------------------------------
DIST_CLEAN_FILES += config.cache config.status
# -----------------------------------------------------------------------------
DIST_CLEAN_FILES += config.cache config.status