diff options
author | Nick Clifton <nickc@redhat.com> | 2010-02-15 13:53:35 +0300 |
---|---|---|
committer | Nick Clifton <nickc@redhat.com> | 2010-02-15 13:53:35 +0300 |
commit | a61421f1fb639de61c1bd42bd7669c5664aacbe3 (patch) | |
tree | a3641c1f4a820c01eced2e06415a4829fb2e331e /configure | |
parent | f107c370b373e74f5210f873c30724aa66d447cf (diff) |
PR 11238
* configure.ac: Delete config.cache files in sub-directories when
deleting Makefiles.
* configure: Regenerate.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 17 |
1 files changed, 17 insertions, 0 deletions
@@ -7606,6 +7606,12 @@ for module in ${build_configdirs} ; do echo 1>&2 "*** removing ${build_subdir}/${module}/Makefile to force reconfigure" rm -f ${build_subdir}/${module}/Makefile fi + # PR 11238: Also remove config.cache files. + if test -z "${no_recursion}" \ + && test -f ${build_subdir}/${module}/config.cache; then + echo 1>&2 "*** removing ${build_subdir}/${module}/config.cache to allow reconfigure" + rm -f ${build_subdir}/${module}/config.cache + fi extrasub_build="$extrasub_build /^@if build-$module\$/d /^@endif build-$module\$/d @@ -7621,6 +7627,11 @@ for module in ${configdirs} ; do rm -f ${file} fi done + # PR 11238: Also remove config.cache files. + if test -f ${module}/config.cache; then + echo 1>&2 "*** removing ${module}/config.cache to allow reconfigure" + rm -f ${module}/config.cache + fi fi extrasub_host="$extrasub_host /^@if $module\$/d @@ -7635,6 +7646,12 @@ for module in ${target_configdirs} ; do echo 1>&2 "*** removing ${target_subdir}/${module}/Makefile to force reconfigure" rm -f ${target_subdir}/${module}/Makefile fi + # 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 # We only bootstrap target libraries listed in bootstrap_target_libs. case $bootstrap_target_libs in |