- # PR 11238: Also remove config.cache files.
- if test -z "${no_recursion}" \
- && test -f ${target_subdir}/${module}/config.cache; then
- echo 1>&2 "*** removing ${target_subdir}/${module}/config.cache to allow reconfigure"
- rm -f ${target_subdir}/${module}/config.cache
- fi