diff options
Diffstat (limited to 'unix/configure.in')
| -rw-r--r-- | unix/configure.in | 5 | 
1 files changed, 4 insertions, 1 deletions
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  | 
