diff options
| author | monty@work.mysql.com <> | 2001-10-03 17:38:30 +0200 |
|---|---|---|
| committer | monty@work.mysql.com <> | 2001-10-03 17:38:30 +0200 |
| commit | 0aa358b571384f36f4effefe226941b14a1a85e8 (patch) | |
| tree | d246006fabd7a3b1c02f36d8cdede30757e3558b /Build-tools | |
| parent | 4e5028663233ea24fff868f086cde080a67aaa8d (diff) | |
| download | mariadb-git-0aa358b571384f36f4effefe226941b14a1a85e8.tar.gz | |
Cleanup between compilations
Diffstat (limited to 'Build-tools')
| -rwxr-xr-x | Build-tools/Do-compile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build-tools/Do-compile b/Build-tools/Do-compile index 4cf2477f5bd..ba5a9403ecc 100755 --- a/Build-tools/Do-compile +++ b/Build-tools/Do-compile @@ -113,6 +113,8 @@ if ($opt_stage <= 1) $opt_config_options.=" --with-low-memory" if ($opt_with_low_memory); # Fix files if this is in another timezone than work.mysql.com unlink("config.cache"); + unlink("bdb/build_unix/config.cache"); + unlink("innobase/config.cache"); log_system("$make clean") if ($opt_use_old_distribution); if ($opt_static_server) { |