diff options
| author | dgp <dgp@noemail.net> | 2012-09-14 14:59:48 (GMT) |
|---|---|---|
| committer | dgp <dgp@noemail.net> | 2012-09-14 14:59:48 (GMT) |
| commit | f7afc7977b5429d7a1e8122222f0e0d911f9d487 (patch) | |
| tree | 251bdf198a58da1795d1c52dfa7ec765687b22b2 | |
| parent | 1ee4626f46925a1d75fcb8517ecd5801ae25d564 (diff) | |
| parent | fe13c8c5bd81d280d61a76990621d349b774444a (diff) | |
| download | tcl-f7afc7977b5429d7a1e8122222f0e0d911f9d487.zip tcl-f7afc7977b5429d7a1e8122222f0e0d911f9d487.tar.gz tcl-f7afc7977b5429d7a1e8122222f0e0d911f9d487.tar.bz2 | |
3555001 Safer stale config fix.
FossilOrigin-Name: 405473ca604741eb723ddf68d43b811686d98168
| -rwxr-xr-x | unix/configure | 5 | ||||
| -rw-r--r-- | unix/configure.in | 5 |
2 files changed, 8 insertions, 2 deletions
diff --git a/unix/configure b/unix/configure index 0958d3d..cbb10b4 100755 --- a/unix/configure +++ b/unix/configure @@ -1355,7 +1355,10 @@ fi #------------------------------------------------------------------------ # Empty slate for bundled packages, to avoid stale configuration #------------------------------------------------------------------------ -rm -Rf pkgs +#rm -Rf pkgs +if test -f Makefile; then + make distclean-packages +fi #------------------------------------------------------------------------ # Handle the --prefix=... option diff --git a/unix/configure.in b/unix/configure.in index 420cdc2..f4b695d 100644 --- a/unix/configure.in +++ b/unix/configure.in @@ -45,7 +45,10 @@ fi #------------------------------------------------------------------------ # Empty slate for bundled packages, to avoid stale configuration #------------------------------------------------------------------------ -rm -Rf pkgs +#rm -Rf pkgs +if test -f Makefile; then + make distclean-packages +fi #------------------------------------------------------------------------ # Handle the --prefix=... option |