diff options
author | dgp <dgp@users.sourceforge.net> | 2012-09-13 16:19:19 (GMT) |
---|---|---|
committer | dgp <dgp@users.sourceforge.net> | 2012-09-13 16:19:19 (GMT) |
commit | 4471683c2284a4c33132c11d419c17ec04181023 (patch) | |
tree | 251bdf198a58da1795d1c52dfa7ec765687b22b2 /unix/configure | |
parent | 975546b642ad400383e0a41fe2ec3a20676836c1 (diff) | |
download | tcl-4471683c2284a4c33132c11d419c17ec04181023.zip tcl-4471683c2284a4c33132c11d419c17ec04181023.tar.gz tcl-4471683c2284a4c33132c11d419c17ec04181023.tar.bz2 |
Safer stale config fix for review.
Diffstat (limited to 'unix/configure')
-rwxr-xr-x | unix/configure | 5 |
1 files changed, 4 insertions, 1 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 |