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 | |
| parent | 4e5028663233ea24fff868f086cde080a67aaa8d (diff) | |
| download | mariadb-git-0aa358b571384f36f4effefe226941b14a1a85e8.tar.gz | |
Cleanup between compilations
| -rw-r--r-- | BitKeeper/etc/logging_ok | 1 | ||||
| -rwxr-xr-x | Build-tools/Do-compile | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok index 062ef5c951e..c3643d477b3 100644 --- a/BitKeeper/etc/logging_ok +++ b/BitKeeper/etc/logging_ok @@ -2,3 +2,4 @@ Miguel@light.local monty@hundin.mysql.fi paul@central.snake.net serg@serg.mysql.com +monty@work.mysql.com 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) { |