diff options
author | Ian Lance Taylor <iant@google.com> | 2006-12-28 02:46:00 +0300 |
---|---|---|
committer | Ian Lance Taylor <iant@google.com> | 2006-12-28 02:46:00 +0300 |
commit | bde7f6652dcea45eb10795446056d32ba2e19542 (patch) | |
tree | 0efce0913b9100718af4fe3a89f05dd6e91c135a /configure.in | |
parent | 3e0c6ff3a7e1e44cdf0cfa60f627a5a73de5b345 (diff) |
* configure.in: When removing Makefiles to force a reconfigure, also
remove prev-DIR*/Makefile.
* configure: Regenerate.
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index fb1ef6d92..d307bcf81 100644 --- a/configure.in +++ b/configure.in @@ -1896,7 +1896,7 @@ for module in ${build_configdirs} ; do done for module in ${configdirs} ; do if test -z "${no_recursion}"; then - for file in stage*-${module}/Makefile ${module}/Makefile; do + for file in stage*-${module}/Makefile prev-${module}/Makefile ${module}/Makefile; do if test -f ${file}; then echo 1>&2 "*** removing ${file} to force reconfigure" rm -f ${file} |